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

targets: add version 6 to the toolchain

pull/12995/head
Martin Kojtal 2020-05-19 11:14:18 +01:00
parent 3847373660
commit 5a9ad74818
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/build_api.py
View File

@ -385,7 +385,7 @@ def transform_release_toolchains(target, version):
RELEASE_VERSIONS RELEASE_VERSIONS
""" """
if int(target.build_tools_metadata["version"]) > 0: if int(target.build_tools_metadata["version"]) > 0:
if version == '5': if version in ['5', '6']:
toolchains = copy(target.supported_toolchains) toolchains = copy(target.supported_toolchains)
if "ARM" in toolchains: if "ARM" in toolchains:
@ -395,7 +395,7 @@ def transform_release_toolchains(target, version):
return toolchains return toolchains
return target.supported_toolchains return target.supported_toolchains
else: else:
if version == '5': if version in ['5', '6']:
return ['ARM', 'GCC_ARM', 'IAR'] return ['ARM', 'GCC_ARM', 'IAR']
else: else:
return target.supported_toolchains return target.supported_toolchains