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

Merge pull request #6271 from lfdebrux/profile-merging 

Allow build profiles to omit language entries
pull/6302/merge
Martin Kojtal 2018-03-08 17:41:51 +01:00 committed by GitHub
parent 0c0826179f ce6bd9defc
commit d9a1302fd5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/build_api.py
View File

@ -330,7 +330,7 @@ def prepare_toolchain(src_paths, build_dir, target, toolchain_name,
profile = {'c': [], 'cxx': [], 'common': [], 'asm': [], 'ld': []}
for contents in build_profile or []:
for key in profile:
profile[key].extend(contents[toolchain_name][key])
profile[key].extend(contents[toolchain_name].get(key, []))
toolchain = cur_tc(target, notify, macros, silent, build_dir=build_dir,
extra_verbose=extra_verbose, build_profile=profile)