From 4f13e21aa04979ac32f73f84a607e279b05a7885 Mon Sep 17 00:00:00 2001 From: Jimmy Brisson Date: Fri, 2 Feb 2018 15:40:44 -0600 Subject: [PATCH] Use OUTPUT_EXT in managed boot loader --- tools/build_api.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/tools/build_api.py b/tools/build_api.py index 147009cc12..affaa7717b 100644 --- a/tools/build_api.py +++ b/tools/build_api.py @@ -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)