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

Merge branch 'master' of https://github.com/mbedmicro/mbed

pull/164/head
root 2014-02-12 11:43:00 +00:00
parent fc201caf64 9762d3af3b
commit e04b97e6e1
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
workspace_tools/build_release.py
View File

@ -28,6 +28,7 @@ from workspace_tools.targets import TARGET_MAP
OFFICIAL_MBED_LIBRARY_BUILD = (
('LPC11U24', ('ARM', 'uARM')),
('LPC1768', ('ARM', 'GCC_ARM', 'GCC_CR', 'GCC_CS', 'IAR')),
('UBLOX_C027', ('ARM', 'GCC_ARM', 'GCC_CR', 'GCC_CS', 'IAR')),
('LPC2368', ('ARM',)),
('LPC812', ('uARM',)),
('LPC1347', ('ARM',)),
@ -35,6 +36,7 @@ OFFICIAL_MBED_LIBRARY_BUILD = (
('LPC1114', ('uARM',)),
('LPC11U35_401', ('ARM', 'uARM')),
('KL25Z', ('ARM', 'GCC_ARM')),
('KL46Z', ('ARM', 'GCC_ARM')),