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

fix debug build with option --profile ./tools/profiles/debug.json

pull/2975/head
Michel Jaouen 2016-10-06 16:10:46 +02:00 committed by Anna Bridge
parent 670b0984eb
commit d12943c576
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/profiles/debug.json
View File

@ -34,7 +34,7 @@
}, },
"IAR": { "IAR": {
"common": [ "common": [
"--no_wrap_diagnostics", "non-native end of line sequence", "-e", "--no_wrap_diagnostics", "-e",
"--diag_suppress=Pa050,Pa084,Pa093,Pa082", "-On", "-r"], "--diag_suppress=Pa050,Pa084,Pa093,Pa082", "-On", "-r"],
"asm": [], "asm": [],
"c": ["--vla"], "c": ["--vla"],