mirror of https://github.com/ARMmbed/mbed-os.git
build_api.py changes to take ARMC5 into account when validating for offical target/release combination
parent
654f4d93a4
commit
8a8cff7c98
|
@ -209,6 +209,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']),
|
||||
set(['ARMC5', 'GCC_ARM']),
|
||||
set(['ARMC6'])
|
||||
]
|
||||
supported_toolchains = set(target.supported_toolchains)
|
||||
|
|
Loading…
Reference in New Issue