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 #1456 from ohagendorf/disco_f746_build_release 

[DISCO_F746] adding gcc_arm to build_release.py
pull/1459/head
Martin Kojtal 2015-11-27 09:48:45 +00:00
parent 7fcda4012c 3ad727d681
commit c1362208f8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
workspace_tools/build_release.py
View File

@ -86,7 +86,7 @@ OFFICIAL_MBED_LIBRARY_BUILD = (
('DISCO_F334C8', ('ARM', 'uARM', 'IAR', 'GCC_ARM')),
('DISCO_F429ZI', ('ARM', 'uARM', 'IAR', 'GCC_ARM')),
('DISCO_F469NI', ('ARM', 'uARM', 'IAR', 'GCC_ARM')),
('DISCO_F746NG', ('ARM', 'uARM')),
('DISCO_F746NG', ('ARM', 'uARM', 'GCC_ARM')),
('DISCO_L476VG', ('ARM', 'uARM', 'IAR', 'GCC_ARM')),
('NUCLEO_L476RG', ('ARM', 'uARM', 'IAR', 'GCC_ARM')),