diff --git a/tools/build_api.py b/tools/build_api.py index 7b2cbf9087..0b127700ac 100644 --- a/tools/build_api.py +++ b/tools/build_api.py @@ -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