diff options
author | Damien Doligez <damien.doligez@inria.fr> | 2017-07-17 21:00:45 +0200 |
---|---|---|
committer | Damien Doligez <damien.doligez@inria.fr> | 2017-07-18 13:12:34 +0200 |
commit | e6d64aacbdd99f5228125eaa36e8a3fc73ee53d9 (patch) | |
tree | 3c838e988eb7b75a5bc8832c85a8eb8db23ceedf | |
parent | c05a851e041d74578ed2ef964a0a96bfd9d1b5db (diff) | |
download | ocaml-e6d64aacbdd99f5228125eaa36e8a3fc73ee53d9.tar.gz |
take @shindere's remarks into account
-rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |