From a010a28c9ec8fcb0d1b906a8e389a9b6c139c9bc Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Sat, 13 Jan 2018 17:29:51 +0100
Subject: Improved message recommending an OCaml version to use

---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure b/configure
index 13d9c57a..cda75975 100755
--- a/configure
+++ b/configure
@@ -508,7 +508,7 @@ case "$ocaml_ver" in
       echo "version $ocaml_ver -- good!"
       echo "WARNING: some Intel processors of the Skylake and Kaby Lake generations"
       echo "have a hardware bug that can be triggered by this version of OCaml."
-      echo "To avoid this risk, it is recommended to use OCaml 4.05.";;
+      echo "To avoid this risk, it is recommended to use OCaml 4.05 or later.";;
   4.0*)
         echo "version $ocaml_ver -- good!";;
   ?.*)
-- 
cgit