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

Fix bug in dependency handling

pull/4413/head
Jimmy Brisson 2017-05-31 09:54:09 -05:00
parent 88c398b52a
commit 4806229090
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/toolchains/__init__.py
View File

@ -914,7 +914,7 @@ class mbedToolchain:
deps = []
config_file = ([self.config.app_config_location]
if self.config.app_config_location else [])
deps.append(config_file)
deps.extend(config_file)
if ext == '.cpp' or self.COMPILE_C_AS_CPP:
deps.append(join(self.build_dir, self.PROFILE_FILE_NAME + "-cxx"))
else:
@ -1021,7 +1021,7 @@ class mbedToolchain:
r.objects = sorted(set(r.objects))
config_file = ([self.config.app_config_location]
if self.config.app_config_location else [])
dependencies = r.objects + r.libraries + [r.linker_script, config_file]
dependencies = r.objects + r.libraries + [r.linker_script] + config_file
dependencies.append(join(self.build_dir, self.PROFILE_FILE_NAME + "-ld"))
if self.need_update(elf, dependencies):
needed_update = True