2018-10-12 04:18:04 -04:00
|
|
|
# This may have been leftover from a previous run, when switching
|
|
|
|
|
# between "real" redo and minimal/do, so clean it up.
|
|
|
|
|
rm -f t1a
|
|
|
|
|
|
2010-11-21 04:29:28 -08:00
|
|
|
# force-rebuild t1dep
|
|
|
|
|
redo t1dep
|
|
|
|
|
|
|
|
|
|
if [ -e t1a ]; then
|
|
|
|
|
BEFORE="$(cat t1a)"
|
|
|
|
|
else
|
|
|
|
|
BEFORE=
|
|
|
|
|
fi
|
2011-02-23 01:24:48 -08:00
|
|
|
../flush-cache
|
2010-11-21 04:29:28 -08:00
|
|
|
redo-ifchange t1a # it definitely had to rebuild because t1dep changed
|
|
|
|
|
AFTER="$(cat t1a)"
|
2010-11-27 21:48:43 -08:00
|
|
|
if [ "$BEFORE" = "$AFTER" ]; then
|
2010-11-21 04:29:28 -08:00
|
|
|
echo "t1a was not rebuilt!" >&2
|
|
|
|
|
exit 43
|
|
|
|
|
fi
|