diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/configure b/configure index ebab2289bac..24c0ef9532c 100755 --- a/configure +++ b/configure @@ -2715,7 +2715,8 @@ fi # The Intel compiler on Linux supports most gcc options, but not # all of them, so only add these options if we are really using -# gcc +# gcc. Intel compiler has a bug in checking for division by NAN +# (NaN == 0), -mp1 fixes it, so someday we might way to add it. if test "$GCC" = yes; then |