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

Makes sure the extension is .bin when using GCC_ARM

pull/337/head
Juan Carlos Ferrer 2014-05-31 15:21:54 -05:00
parent b2cc293722
commit 34d7d6f9c6
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
workspace_tools/targets.py
View File

@ -521,9 +521,14 @@ class NRF51822(Target):
self.is_disk_virtual = True
def program_cycle_s(self):
return 6 if self.is_disk_virtual else 1.5
def init_hooks(self, hook, toolchain_name):
if toolchain_name in ['ARM_STD', 'ARM_MICRO']:
if toolchain_name in ['ARM_STD', 'ARM_MICRO', 'GCC_ARM']:
hook.hook_add_binary("post", self.binary_hook)
if toolchain_name in ['GCC_ARM']:
self.OUTPUT_EXT = '.bin'
@staticmethod
def binary_hook(t_self, resources, elf, binf):