From 4e13d98beaba323775ab67deb9653504ab4bf91f Mon Sep 17 00:00:00 2001
From: letouzey
Date: Thu, 22 Jan 2009 14:19:18 +0000
Subject: 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
---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure b/configure
index 000a26ca38..ec6eab64b9 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)"
-- 
cgit v1.2.3