diff options
| -rw-r--r-- | config/intel-flags | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/config/intel-flags b/config/intel-flags index 101aa09..9477281 100644 --- a/config/intel-flags +++ b/config/intel-flags @@ -57,7 +57,8 @@ if test "X-icc" = "X-$cc_vendor"; then CFLAGS="${CFLAGS:--std=c99 $arch}" # Production - PROD_CFLAGS="-O3" + # -s to remove all symbols for smaller file + PROD_CFLAGS="-O3 -s" PROD_CPPFLAGS= # Debug @@ -81,7 +82,7 @@ fi case "$cc_vendor-$cc_version" in icc-8.0*) # v8.0 -O3 infinite loops when compiling test/tselect.c. Use -O2. - PROD_CFLAGS="-O2" + PROD_CFLAGS="-O2 -s" ;; esac |