diff --git a/tools/build_api.py b/tools/build_api.py index cf27755fbb..5f6ed3af67 100755 --- a/tools/build_api.py +++ b/tools/build_api.py @@ -424,7 +424,7 @@ def get_mbed_official_release(version): tuple( [ TARGET_MAP[target].name, - tuple('ARM', 'GCC_ARM') + tuple(['ARM', 'GCC_ARM']) ] ) for target in TARGET_NAMES )