Merge pull request ARMmbed#6 from ARMmbed/add_debug_info

Add "-g" to 'release' and 'develop' profiles
evedon · Oct 30, 2017 · 5453f9b · 5453f9b
2 parents 8fbf90c + 4590012
commit 5453f9b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/profiles/develop.json b/profiles/develop.json
@@ -5,7 +5,7 @@
  "-fmessage-length=0", "-fno-exceptions", "-fno-builtin",
  "-ffunction-sections", "-fdata-sections", "-funsigned-char",
  "-MMD", "-fno-delete-null-pointer-checks",
- "-fomit-frame-pointer", "-Os"],
+ "-fomit-frame-pointer", "-Os", "-g"],
  "asm": ["-x", "assembler-with-cpp"],
  "c": ["-std=gnu99"],
  "cxx": ["-std=gnu++98", "-fno-rtti", "-Wvla"],

diff --git a/profiles/release.json b/profiles/release.json
@@ -5,7 +5,7 @@
  "-fmessage-length=0", "-fno-exceptions", "-fno-builtin",
  "-ffunction-sections", "-fdata-sections", "-funsigned-char",
  "-MMD", "-fno-delete-null-pointer-checks",
- "-fomit-frame-pointer", "-Os", "-DNDEBUG"],
+ "-fomit-frame-pointer", "-Os", "-DNDEBUG", "-g"],
  "asm": ["-x", "assembler-with-cpp"],
  "c": ["-std=gnu99"],
  "cxx": ["-std=gnu++98", "-fno-rtti", "-Wvla"],