summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xconfigure10
1 files changed, 10 insertions, 0 deletions
diff --git a/configure b/configure
index 18b276c7ee..687e155eb6 100755
--- a/configure
+++ b/configure
@@ -3109,6 +3109,15 @@ icl_flags(){
done
}
+icc_flags(){
+ for flag; do
+ case $flag in
+ -flto) echo -ipo ;;
+ *) echo $flag ;;
+ esac
+ done
+}
+
pgi_flags(){
for flag; do
case $flag in
@@ -3230,6 +3239,7 @@ probe_cc(){
_cflags_speed='-O3'
_cflags_size='-Os'
_cflags_noopt='-O1'
+ _flags_filter=icc_flags
elif $_cc -v 2>&1 | grep -q xlc; then
_type=xlc
_ident=$($_cc -qversion 2>/dev/null | head -n1)