summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorBruce Momjian2006-04-22 00:27:30 +0000
committerBruce Momjian2006-04-22 00:27:30 +0000
commit4e0783049d2e09883965e06fc316ab8e39180d40 (patch)
tree8201952279402ca58f36909168dde7e0a2a37683 /configure
parent899f49cfce7484b97be50d9c1aac2557ca7d359c (diff)
Add mentioun of Intel compiler bug:
Intel compiler has a bug in checking for division by NAN # (NaN == 0), -mp1 fixes it, so someday we might way to add it.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure3
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