ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
mbed-os/tools/toolchains
History
Jimmy Brisson 09afe23762 Upgrade OUTPUT_EXT and use it to pick binary type 
targets.json contained a key for some targets, `OUTPUT_EXT`, which I
moved to `Target`, the root of all targets. Following on that, the tools
now use this extension provided by `OUTPUT_EXT` to determine the file
type of the output executable.
 		2017-03-29 16:46:21 -05:00
..
__init__.py Upgrade OUTPUT_EXT and use it to pick binary type 2017-03-29 16:46:21 -05:00
arm.py Upgrade OUTPUT_EXT and use it to pick binary type 2017-03-29 16:46:21 -05:00
gcc.py Upgrade OUTPUT_EXT and use it to pick binary type 2017-03-29 16:46:21 -05:00
iar.py Upgrade OUTPUT_EXT and use it to pick binary type 2017-03-29 16:46:21 -05:00