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

Make binary depend on config directly

pull/4202/head
Jimmy Brisson 2017-05-08 13:30:51 -05:00
parent fd26d5b5a7
commit bbde3797cb
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
tools/toolchains/__init__.py
View File

@ -1008,7 +1008,10 @@ class mbedToolchain:
map = join(tmp_path, name + '.map')
r.objects = sorted(set(r.objects))
if self.need_update(elf, r.objects + r.libraries + [r.linker_script]):
config_file = ([self.config.app_config_location]
if self.config.app_config_location else [])
if self.need_update(elf, r.objects + r.libraries + [r.linker_script] +
config_file):
needed_update = True
self.progress("link", name)
self.link(elf, r.objects, r.libraries, r.lib_dirs, r.linker_script)