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

All C files depend on mbed_app.json

pull/4202/head
Jimmy Brisson 2017-05-11 14:20:09 -05:00
parent bbde3797cb
commit 58167a2071
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/toolchains/__init__.py
View File

@ -909,7 +909,9 @@ class mbedToolchain:
deps = self.parse_dependencies(dep_path) if (exists(dep_path)) else []
except IOError, IndexError:
deps = []
if len(deps) == 0 or self.need_update(object, deps):
config_file = ([self.config.app_config_location]
if self.config.app_config_location else [])
if len(deps) == 0 or self.need_update(object, deps + config_file):
if ext == '.cpp' or self.COMPILE_C_AS_CPP:
return self.compile_cpp(source, object, includes)
else: