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

Use OUTPUT_EXT in managed boot loader

pull/6056/head
Jimmy Brisson 2018-02-02 15:40:44 -06:00 committed by adbridge
parent 51d424f3cc
commit 1b222ac07f
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
tools/build_api.py
View File

@ -370,7 +370,8 @@ def merge_region_list(region_list, destination, padding=b'\xFF'):
print("Space used after regions merged: 0x%x" %
(merged.maxaddr() - merged.minaddr() + 1))
with open(destination, "wb+") as output:
merged.tofile(output, format='bin')
_, format = splitext(destination)
merged.tofile(output, format=format.strip("."))
def scan_resources(src_paths, toolchain, dependencies_paths=None,
inc_dirs=None, base_path=None, collect_ignores=False):
@ -512,7 +513,8 @@ def build_project(src_paths, build_path, target, toolchain_name,
region_list = list(toolchain.config.regions)
region_list = [r._replace(filename=res) if r.active else r
for r in region_list]
res = join(build_path, name) + ".bin"
res = "%s.%s" % (join(build_path, name),
getattr(toolchain.target, "OUTPUT_EXT", "bin"))
merge_region_list(region_list, res)
else:
res, _ = toolchain.link_program(resources, build_path, name)