diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -91,9 +91,9 @@ case "$cc" in echo "" echo "WARNING: you are using gcc version 2.7.2.1." echo "This version of gcc is known to generate incorrect code" - echo "for the Objective Caml runtime system, at least on Intel x86" - echo "machines. (The symptom is a crash of boot/ocamlc when compiling" - echo "stdlib/pervasives.mli.)" + echo "for the Objective Caml runtime system, at least on some" + echo "Intel x86 machines. (The symptom is a crash of boot/ocamlc when" + echo "compiling stdlib/pervasives.mli.)" echo "You are strongly advised to use another version of gcc, such as" echo "2.7.2 or 2.7.2.2, which are known to work well with Objective Caml." echo "" |