configure: more adequate message explaining what -opt is doing

No, -opt has nothing to do with compilation to native or byte-code,
nor has it anything to do with the "generation of optimized executables".
It simply mean to try to use ocamlc.opt and ocamlopt.opt if they exist.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11837 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 1 insertions, 1 deletions

diff --git a/configure b/configure
index 000a26ca3..ec6eab64b 100755
--- a/configure
+++ b/configure
@@ -58,7 +58,7 @@ usage () {
     echo "-arch"
     printf "\tSpecifies the architecture\n"
     echo "-opt"
-    printf "\tSpecifies whether or not to generate optimized executables\n"
+    printf "\tSpecifies whether or not to use OCaml *.opt optimized compilers\n"
     echo "-natdynlink (yes|no)"
     printf "\tSpecifies whether or not to use dynamic loading of native code\n"
     echo "-fsets (all|basic)"