aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure2
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)"