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 #4072 from seppestas/patch-3 

Removed superfluous space
pull/4128/head
Sam Grove 2017-04-06 10:40:58 -05:00 committed by GitHub
parent 2ab3eda361 886713d290
commit caded3805e
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

@ -35,7 +35,7 @@
}, },
"IAR": { "IAR": {
"common": [ "common": [
"--no_wrap_diagnostics", "-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"],