Move 'redo --ifchange' into 'redo-ifchange' to match djb's style.
It does simplify the logic of both redo.py and redo-ifchange.py, I suppose.
This commit is contained in:
parent
63c596ac61
commit
c57de820fb
12 changed files with 103 additions and 87 deletions
|
|
@ -1,2 +1,2 @@
|
|||
redo --ifchange it
|
||||
redo-ifchange it
|
||||
./hello >&2
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue