diff options
author | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-01-22 14:19:18 +0000 |
---|---|---|
committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2009-01-22 14:19:18 +0000 |
commit | 4e13d98beaba323775ab67deb9653504ab4bf91f (patch) | |
tree | 325fbf446bc0d76c55dd86dad8bb173fa1ded7a4 | |
parent | f33ea164bb30e89542c4febea9193e217047e32e (diff) |
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
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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)" |