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

Refactor condition check

pull/12198/head
Rajkumar Kanagaraj 2020-01-15 09:47:59 -08:00
parent 816516e23c
commit f5230cd70c
1 changed files with 4 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
tools/build_api.py
View File

@ -244,10 +244,7 @@ def find_valid_toolchain(target, toolchain):
if toolchain_name in ["uARM", "ARMC5", "ARMC6"]:
if toolchain_name == "ARMC5":
end_warnings.append(ARMC5_MIGRATION_WARNING)
if (
toolchain_name == "uARM"
or target.default_toolchain == "uARM"
):
if "uARM" in {toolchain_name, target.default_toolchain}:
end_warnings.append(UARM_TOOLCHAIN_WARNING)
return toolchain_name, internal_tc_name, end_warnings
else: