From 3f9e266e6d89dbe10f9d34adc509977716cbb784 Mon Sep 17 00:00:00 2001 From: Brian Daniels Date: Fri, 22 Mar 2019 08:29:55 -0500 Subject: [PATCH] get_mbed_official_release respects supported_toolchains --- tools/build_api.py | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) diff --git a/tools/build_api.py b/tools/build_api.py index 4fecaa4576..c616abf5bb 100755 --- a/tools/build_api.py +++ b/tools/build_api.py @@ -365,12 +365,18 @@ def transform_release_toolchains(target, version): """ if int(target.build_tools_metadata["version"]) > 0: if version == '5': + non_arm_toolchains = set(["IAR", "GCC_ARM"]) if 'ARMC5' in target.supported_toolchains: - return ['ARMC5', 'GCC_ARM', 'IAR'] + result = ["ARMC5"] else: - return ['ARM', 'ARMC6', 'GCC_ARM', 'IAR'] - else: - return target.supported_toolchains + result = ["ARM", "ARMC6"] + result.extend( + set(target.supported_toolchains).intersection( + non_arm_toolchains + ) + ) + return result + return target.supported_toolchains else: if version == '5': return ['ARM', 'GCC_ARM', 'IAR']