diff options
Diffstat (limited to 'config/gnu-flags')
| -rw-r--r-- | config/gnu-flags | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/config/gnu-flags b/config/gnu-flags index ecb5859..9cd0fd0 100644 --- a/config/gnu-flags +++ b/config/gnu-flags @@ -124,15 +124,13 @@ case "$cc_vendor-$cc_version" in ;; esac #DEBUG_CFLAGS="-fsanitize=undefined" - DEBUG_CPPFLAGS= # Symbols + NO_SYMBOLS_CFLAGS="-s" SYMBOLS_CFLAGS="-g" - SYMBOLS_CPPFLAGS= # Profile PROFILE_CFLAGS="-pg" - PROFILE_CPPFLAGS= # Optimization (only CFLAGS at this time) case "$cc_vendor-$cc_version" in |