summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--config/intel-flags5
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