From 06b9c99b2710687e78b17e1002f7481d4b51dc5a Mon Sep 17 00:00:00 2001 From: PeterConheeney Date: Tue, 7 Jul 2015 08:35:37 +0100 Subject: [PATCH] mps2 added to build_release.py --- workspace_tools/build_release.py | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/workspace_tools/build_release.py b/workspace_tools/build_release.py index 7549976b44..1ea1765749 100755 --- a/workspace_tools/build_release.py +++ b/workspace_tools/build_release.py @@ -95,6 +95,12 @@ OFFICIAL_MBED_LIBRARY_BUILD = ( ('LPC11U68', ('ARM', 'uARM','GCC_ARM','GCC_CR', 'IAR')), ('OC_MBUINO', ('ARM', 'uARM', 'GCC_ARM', 'IAR')), + ('ARM_MPS2_M0' , ('ARM',)), + ('ARM_MPS2_M0P' , ('ARM',)), + ('ARM_MPS2_M3' , ('ARM',)), + ('ARM_MPS2_M4' , ('ARM',)), + ('ARM_MPS2_M7' , ('ARM',)), + ('RZ_A1H' , ('ARM', 'GCC_ARM')), ('EFM32ZG_STK3200', ('GCC_ARM', 'uARM')),