tools build: remove git diff typo

2020-05-19 12:43:24 +01:00 · 2020-05-19 12:43:24 +01:00 · 12cadc2e91
parent 5a9ad74818
commit 12cadc2e91
1 changed files with 1 additions and 1 deletions
--- a/tools/build_api.py
+++ b/tools/build_api.py
@ -425,7 +425,7 @@ def get_mbed_official_release(version, profile=None):
                [
                    TARGET_MAP[target].name,
                    tuple(transform_release_toolchains(
-                        TARGET_MAP[target], version))
+                        TARGET_MAP[target], version))
                ]
            ) for target in TARGET_NAMES \
                if not profile or profile in TARGET_MAP[target].supported_application_profiles