diff options
| author | Christian Neukirchen <chneukirchen@gmail.com> | 2015-09-06 21:13:07 +0200 |
|---|---|---|
| committer | Christian Neukirchen <chneukirchen@gmail.com> | 2015-09-06 21:13:07 +0200 |
| commit | e4140ae6022f380aa14d3682455bdfce8c698bda (patch) | |
| tree | b21b83d666eef151ae7ed60e28aa3214bf15ca4c | |
| parent | 467d98065f9076b2f63423dba1d9fafd1c5b8ee1 (diff) | |
| download | redo-c-e4140ae6022f380aa14d3682455bdfce8c698bda.tar.gz redo-c-e4140ae6022f380aa14d3682455bdfce8c698bda.tar.xz redo-c-e4140ae6022f380aa14d3682455bdfce8c698bda.zip | |
Mention redo -f / redo -k
| -rw-r--r-- | NOTES | 8 |
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. |