about summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--NOTES8
1 files changed, 6 insertions, 2 deletions
diff --git a/NOTES b/NOTES
index 0df7a6b..383acf6 100644
--- a/NOTES
+++ b/NOTES
@@ -20,8 +20,8 @@
 
 * `default.do` files are checked in all parent directories up to `/`.
 
-* Parallel builds can be started with `redo -j N`, this uses a job
-  broker similar to but not compatible with GNU make.
+* Parallel builds can be started with `redo -j N` (or `JOBS=N redo`),
+  this uses a job broker similar to but not compatible with GNU make.
 
 * To detect whether a file has changed, we first compare `ctime` and
   in case it differs, a SHA2 hash of the contents.
@@ -30,3 +30,7 @@
   This is an implementation detail.
 
 * Builds can be started from every directory and should yield same results.
+
+* `redo -f` will consider all targets outdated and force a rebuild.
+
+* `redo -k` will keep going if a target failed to build.