Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
CertiCompil
CompCert-KVX
Commits
a010a28c
Commit
a010a28c
authored
Jan 13, 2018
by
Xavier Leroy
Browse files
Improved message recommending an OCaml version to use
parent
2966858f
Changes
1
Hide whitespace changes
Inline
Side-by-side
configure
View file @
a010a28c
...
...
@@ -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!"
;;
?.
*
)
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment