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

[HRM1017] Added to build_release.py

pull/385/head
ytsuboi 2014-07-03 03:35:11 +09:00
parent 1a7c96d10b
commit 5e91f7d5ad
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
workspace_tools/build_release.py
View File

@ -56,6 +56,7 @@ OFFICIAL_MBED_LIBRARY_BUILD = (
('NUCLEO_L152RE', ('ARM', 'uARM')),
('NRF51822', ('ARM', )),
('HRM1017', ('ARM', )),
('LPC11U68', ('uARM','GCC_ARM','GCC_CR')),
)