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

Allow ARMC6 only mbed 5 releases

pull/7631/head
Jimmy Brisson 2018-07-16 08:42:55 -05:00 committed by Cruz Monrreal II
parent 69a67297d3
commit 3924c7721c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/build_api.py
View File

@ -201,7 +201,7 @@ def is_official_target(target_name, version):
# For version 5, ARM, GCC_ARM, and IAR toolchain support is required
required_toolchains = [
set(['ARM', 'GCC_ARM', 'IAR']),
set(['ARMC6', 'GCC_ARM', 'IAR'])
set(['ARMC6'])
]
supported_toolchains = set(target.supported_toolchains)