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 #3373 from 0xc0170/fix_#402 

Fix DEBUG target keyword for GCC_ARM
pull/2316/merge
Anna Bridge 2016-12-06 16:03:13 +00:00 committed by GitHub
parent 507956d658 9a61ef0368
commit 2257d4b2f2
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/toolchains/__init__.py
View File

@ -472,7 +472,7 @@ class mbedToolchain:
# This is a policy decision and it should /really/ be in the config system
# ATM it's here for backward compatibility
if (("-g" in self.flags['common'] and
if ((("-g" in self.flags['common'] or "-g3" in self.flags['common']) and
"-O0") in self.flags['common'] or
("-r" in self.flags['common'] and
"-On" in self.flags['common'])):