ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Update tools/toolchains/mbed_toolchain.py 

Co-Authored-By: Graham Hammond <graham.hammond@arm.com>
pull/11456/head
Mark Edgeworth 2019-09-11 12:18:50 +01:00 committed by GitHub
parent 6f37fd91a8
commit 65d6015179
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/toolchains/mbed_toolchain.py
View File

@ -739,7 +739,7 @@ class mbedToolchain:
# Absolute path of the final linked file # Absolute path of the final linked file
if self.config.has_regions: if self.config.has_regions:
elf = join(tmp_path, tail + '_application.elf') elf = join(new_path, tail + '_application.elf')
mapfile = join(tmp_path, tail + '_application.map') mapfile = join(tmp_path, tail + '_application.map')
else: else:
elf = join(tmp_path, tail + '.elf') elf = join(tmp_path, tail + '.elf')