Merge branch 'micronfcboard-build-release-fix' of https://github.com/bridadan/mbed into bridadan-micronfcboard-build-release-fix

Conflicts:
	workspace_tools/build_release.py
pull/1219/head
0xc0170 2015-07-01 08:18:26 +01:00
commit 45dd7550f2
1 changed files with 1 additions and 0 deletions

View File

@ -49,6 +49,7 @@ OFFICIAL_MBED_LIBRARY_BUILD = (
('ARCH_GPRS', ('ARM', 'uARM', 'GCC_ARM', 'GCC_CR', 'IAR')),
('LPC4337', ('ARM',)),
('LPC11U37H_401', ('ARM', 'uARM','GCC_ARM','GCC_CR')),
('MICRONFCBOARD', ('ARM', 'uARM','GCC_ARM')),
('KL05Z', ('ARM', 'uARM', 'GCC_ARM', 'IAR')),
('KL25Z', ('ARM', 'GCC_ARM', 'IAR')),