Don't crap out on failed diff.

This commit is contained in:
Eric S. Raymond 2023-03-01 14:01:44 -05:00
parent 17782cab67
commit 1f644a1d7d

View file

@ -16,7 +16,6 @@ trap 'rm /tmp/tapdiff$$' EXIT HUP INT QUIT TERM
if diff --text -u ${checkfile} - >/tmp/tapdiff$$
then
echo "ok - ${legend}"
exit 0
else
echo "not ok - ${checkfile}: ${legend}"
if [ ! "${QUIET}" = 1 ]
@ -25,7 +24,6 @@ else
sed </tmp/tapdiff$$ -e 's/^/ /'
echo " ..."
fi
exit 1
fi
# end