diff --git a/workspace_tools/build_release.py b/workspace_tools/build_release.py
index 44b5fe1f1d..d9206f8e4a 100644
--- a/workspace_tools/build_release.py
+++ b/workspace_tools/build_release.py
@@ -86,7 +86,7 @@ OFFICIAL_MBED_LIBRARY_BUILD = (
     ('DISCO_F334C8', ('ARM', 'uARM', 'IAR', 'GCC_ARM')),
     ('DISCO_F429ZI', ('ARM', 'uARM', 'IAR', 'GCC_ARM')),
     ('DISCO_F469NI', ('ARM', 'uARM', 'IAR', 'GCC_ARM')),
-    ('DISCO_F746NG', ('ARM', 'uARM')),
+    ('DISCO_F746NG', ('ARM', 'uARM', 'GCC_ARM')),
     ('DISCO_L476VG', ('ARM', 'uARM', 'IAR', 'GCC_ARM')),
     ('NUCLEO_L476RG', ('ARM', 'uARM', 'IAR', 'GCC_ARM')),