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
|