diff options
Diffstat (limited to 'hints/linux.sh')
| -rw-r--r-- | hints/linux.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/hints/linux.sh b/hints/linux.sh index caf380a5ab..bc7d49ad82 100644 --- a/hints/linux.sh +++ b/hints/linux.sh @@ -67,6 +67,18 @@ case "$usemymalloc" in '') usemymalloc='n' ;; esac +# Check if we're about to use Intel's ICC compiler +case "`${cc:-cc} -V 2>&1`" in +*"Intel(R) C++ Compiler"*) + # This is needed for Configure's prototype checks to work correctly + ccflags="-we147 $ccflags" + # If we're using ICC, we usually want the best performance + case "$optimize" in + '') optimize='-O3' ;; + esac + ;; +esac + case "$optimize" in '') # If we have modern enough gcc and well-supported enough CPU, # crank up the optimization level. |