728a19cd52
Because the two programs use separate state databases, it helps if we clean up some temp files between runs. Otherwise they might think you created some targets "by hand" and refuse to rebuild them.
19 lines
408 B
Text
19 lines
408 B
Text
# This may have been leftover from a previous run, when switching
|
|
# between "real" redo and minimal/do, so clean it up.
|
|
rm -f t1a
|
|
|
|
# force-rebuild t1dep
|
|
redo t1dep
|
|
|
|
if [ -e t1a ]; then
|
|
BEFORE="$(cat t1a)"
|
|
else
|
|
BEFORE=
|
|
fi
|
|
../flush-cache
|
|
redo-ifchange t1a # it definitely had to rebuild because t1dep changed
|
|
AFTER="$(cat t1a)"
|
|
if [ "$BEFORE" = "$AFTER" ]; then
|
|
echo "t1a was not rebuilt!" >&2
|
|
exit 43
|
|
fi
|