ac36c5bbb1
We had a bug (fixed in the previous commit) where doing 'redo-ifchange dirname' (which runs dirname/all.do) would not create the stamp correctly, so that it would always show up as dirty. It's a little bit complicated to simulate, but this does it.
3 lines
112 B
Bash
3 lines
112 B
Bash
#echo "Flushing redo cache..." >&2
|
|
find "$REDO_BASE/.redo" -name 'built^*' -o -name 'mark^*' |
|
|
xargs rm -f >&2
|