diff options
| author | Bruce Momjian | 2006-04-22 00:27:30 +0000 |
|---|---|---|
| committer | Bruce Momjian | 2006-04-22 00:27:30 +0000 |
| commit | 4e0783049d2e09883965e06fc316ab8e39180d40 (patch) | |
| tree | 8201952279402ca58f36909168dde7e0a2a37683 /configure | |
| parent | 899f49cfce7484b97be50d9c1aac2557ca7d359c (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-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 |
