diff --git a/tools/build_api.py b/tools/build_api.py index 20ec02f4c4..52f39cec48 100755 --- a/tools/build_api.py +++ b/tools/build_api.py @@ -424,7 +424,8 @@ def get_mbed_official_release(version, profile=None): tuple( [ TARGET_MAP[target].name, - tuple(['ARM', 'GCC_ARM']) + tuple(transform_release_toolchains( +- TARGET_MAP[target], version)) ] ) for target in TARGET_NAMES \ if not profile or profile in TARGET_MAP[target].supported_application_profiles