diff options
| -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 a337f75..de5b91c 100644 --- a/config/gnu-flags +++ b/config/gnu-flags @@ -136,7 +136,7 @@ case "$cc_vendor-$cc_version" in PROD_CFLAGS="-O3 $NOFP" ;; *) - PROD_CFLAGS="-O2 $NOFP -finline-functions" + PROD_CFLAGS="-O $NOFP -finline-functions" ;; esac PROD_CPPFLAGS= |