diff options
| -rw-r--r-- | config/gnu-flags | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/config/gnu-flags b/config/gnu-flags index ec7b9b2..5f10519 100644 --- a/config/gnu-flags +++ b/config/gnu-flags @@ -111,7 +111,14 @@ case "$cc_vendor-$cc_version" in PROD_CPPFLAGS= # Debug - DEBUG_CFLAGS="-Og -g -ftrapv -fno-common" + case "$cc_vendor-$cc_version" in + gcc-5.*) + DEBUG_CFLAGS="-Og -g -ftrapv -fno-common" + ;; + *) + DEBUG_CFLAGS="-g" + ;; + esac #DEBUG_CFLAGS="$DEBUG_CFLAGS -fsanitize=undefined" DEBUG_CPPFLAGS= |