summaryrefslogtreecommitdiff
path: root/INSTALL
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2003-09-12 07:36:15 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2003-09-12 07:36:15 +0000
commit6eb8d32cbe1da88ba12a91100e00305cd6b26313 (patch)
treec214ea178ce894b433ae2fef810db7c7c1af59b1 /INSTALL
parentbba998aa9a982c29594b7e55cfcbb014ebed33a1 (diff)
downloadocaml-6eb8d32cbe1da88ba12a91100e00305cd6b26313.tar.gz
Ajout option -no-pthread
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5831 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'INSTALL')
-rw-r--r--INSTALL3
1 files changed, 3 insertions, 0 deletions
diff --git a/INSTALL b/INSTALL
index 0ed812a625..2fc5a30295 100644
--- a/INSTALL
+++ b/INSTALL
@@ -81,6 +81,9 @@ The "configure" script accepts the following options:
-no-tk
Do not attempt to build LablTk.
+-no-pthread
+ Do not attempt to use POSIX threads.
+
-verbose
Verbose output of the configuration tests. Use it if the outcome
of configure is not what you were expecting.