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

Removed extra ARMc6 instance in unique mapping

pull/7544/head
Cruz Monrreal II 2018-07-18 14:10:42 -05:00
parent dd6482b955
commit a070e350ec
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_main.o',
'mbed_sdk_boot.o', 'mbed_sdk_boot.o',
] ]
def build_mbed_libs(target, toolchain_name, clean=False, macros=None, def build_mbed_libs(target, toolchain_name, clean=False, macros=None,
notify=None, jobs=1, report=None, properties=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: if toolchain not in unique_supported_toolchains:
unique_supported_toolchains.append(toolchain) unique_supported_toolchains.append(toolchain)
if "ARM" in unique_supported_toolchains:
unique_supported_toolchains.append("ARMC6")
return unique_supported_toolchains return unique_supported_toolchains