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 #7544 from cmonr/fix-make.py 

Remove extra ARMc6 instance in unique mapping
pull/7556/head
Cruz Monrreal 2018-07-19 09:16:55 -05:00 committed by GitHub
parent dd6482b955 a070e350ec
commit 49ae504d97
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
tools/build_api.py
View File

@ -885,7 +885,7 @@ SEPARATE_NAMES = [
'mbed_main.o',
'mbed_sdk_boot.o',
]
def build_mbed_libs(target, toolchain_name, clean=False, macros=None,
notify=None, jobs=1, report=None, properties=None,
@ -1068,9 +1068,6 @@ def get_unique_supported_toolchains(release_targets=None):
if toolchain not in unique_supported_toolchains:
unique_supported_toolchains.append(toolchain)
if "ARM" in unique_supported_toolchains:
unique_supported_toolchains.append("ARMC6")
return unique_supported_toolchains