summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2006-10-09 13:06:57 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2006-10-09 13:06:57 +0000
commit9b58a4e5420824f3599978bb976f93d9d919a83a (patch)
treef061eeca6373e08897964739480f567c78dfd06e
parentc9d10f8b23d1d1e18ab548e4b145723f76cc2004 (diff)
Document lack of parallel make (PR#4122)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7685 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--INSTALL3
1 files changed, 3 insertions, 0 deletions
diff --git a/INSTALL b/INSTALL
index 1105a1439..3a72ea009 100644
--- a/INSTALL
+++ b/INSTALL
@@ -261,6 +261,9 @@ pinpoint the problem.
COMMON PROBLEMS:
+* The Makefiles do not support parallel make (e.g. make -j2).
+Fix: do not pass the -j option to make, and be patient.
+
* The Makefiles use the "include" directive, which is not supported by
all versions of make. Use GNU make if this is a problem.