From b113edeab780216b0590045b932be685d1399e9b Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Fri, 25 Jun 2004 15:36:09 +0000
Subject: * A flag `--keep-going / -k' to keep building goals if one fails, as 
  much as possible.  (This is similar to GNU Make's `-k' flag.)

* Refactoring to implement this: previously we just bombed out when
  a build failed, but now we have to clean up.  In particular this
  means that goals must be freed quickly --- they shouldn't hang
  around until the worker exits.  So the worker now maintains weak
  pointers in order not to prevent garbage collection.

* Documented the `-k' and `-j' flags.
---
 doc/manual/opt-common-syn.xml | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'doc/manual/opt-common-syn.xml')

diff --git a/doc/manual/opt-common-syn.xml b/doc/manual/opt-common-syn.xml
index 3a3e4ce87247..f9004186355d 100644
--- a/doc/manual/opt-common-syn.xml
+++ b/doc/manual/opt-common-syn.xml
@@ -4,5 +4,14 @@
 <arg rep='repeat'><option>-v</option></arg>
 <arg><option>--build-output</option></arg>
 <arg><option>-B</option></arg>
+<arg>
+  <group choice='req'>
+    <arg choice='plain'><option>--max-jobs</option></arg>
+    <arg choice='plain'><option>-j</option></arg>
+  </group>
+  <replaceable>number</replaceable>
+</arg>
+<arg><option>--keep-going</option></arg>
+<arg><option>-k</option></arg>
 <arg><option>--keep-failed</option></arg>
 <arg><option>-K</option></arg>
-- 
cgit 1.4.1