ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #1225 from PeterConheeney/master 

mps2 add to build_release.py
pull/1226/head
Martin Kojtal 2015-07-07 08:57:56 +01:00
parent af7630d525 06b9c99b27
commit 3555d66938
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
workspace_tools/build_release.py
View File

@ -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')),