diff options
Diffstat (limited to 'config/gnu-flags')
| -rw-r--r-- | config/gnu-flags | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/gnu-flags b/config/gnu-flags index ebdb0c5..b5e9a48 100644 --- a/config/gnu-flags +++ b/config/gnu-flags @@ -131,7 +131,7 @@ case "$cc_vendor-$cc_version" in CFLAGS="$CFLAGS $ARCH -ansi -pedantic -Wall -W -Wundef -Wshadow -Wpointer-arith -Wbad-function-cast -Wcast-qual -Wcast-align -Wwrite-strings -Wconversion -Wsign-compare -Waggregate-return -Wstrict-prototypes -Wmissing-prototypes -Wmissing-declarations -Wredundant-decls -Wnested-externs -Winline" # Production - PROD_CFLAGS="-O2 $NOFP -finline-functions" + PROD_CFLAGS="-O3 $NOFP" PROD_CPPFLAGS= # Debug |