94c254de77
It was working fine, but the style wasn't exactly the way I like it, because I'm unnecessarily picky. :) Also, removed the file extension since we should probably learn from the fact that it's already been rewritten once from one language to another. Who knows, maybe it will be again someday.
15 lines
277 B
Text
15 lines
277 B
Text
# 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
|