summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez@inria.fr>2017-07-17 21:00:45 +0200
committerDamien Doligez <damien.doligez@inria.fr>2017-07-18 13:12:34 +0200
commite6d64aacbdd99f5228125eaa36e8a3fc73ee53d9 (patch)
tree3c838e988eb7b75a5bc8832c85a8eb8db23ceedf
parentc05a851e041d74578ed2ef964a0a96bfd9d1b5db (diff)
downloadocaml-e6d64aacbdd99f5228125eaa36e8a3fc73ee53d9.tar.gz
take @shindere's remarks into account
-rwxr-xr-xconfigure4
1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure
index abc0e83a2a..b141e92645 100755
--- a/configure
+++ b/configure
@@ -878,10 +878,10 @@ fi
# Try to work around the Skylake/Kaby Lake processor bug.
-case "$bytecc,$target" in
+case "$cc,$target" in
*gcc*,x86_64-*|*gcc*,i686-*)
if sh ./hasgot -Werror -fno-tree-vrp; then
- byteccprivatecompopts="$byteccprivatecompopts -fno-tree-vrp"
+ internal_cflags="$internal_cflags -fno-tree-vrp"
inf "Adding -fno-tree-vrp option to work around PR#7452"
fi;;
esac