From e4140ae6022f380aa14d3682455bdfce8c698bda Mon Sep 17 00:00:00 2001 From: Christian Neukirchen Date: Sun, 6 Sep 2015 21:13:07 +0200 Subject: Mention redo -f / redo -k --- NOTES | 8 ++++++-- 1 file 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. -- cgit 1.4.1