--- a/tests/run-tests Thu Aug 04 18:06:49 2005 +0100
+++ b/tests/run-tests Thu Aug 04 18:13:17 2005 +0100
@@ -97,17 +97,11 @@
if diff -u "$OUTOK" "$OUT" > /dev/null; then
: no differences
else
- if FIXME="`grep 'FIXME' \"$TESTDIR/$1\"`"; then
- echo
- echo "$1 failed, but this is ignored because of:"
- echo "$FIXME"
- else
- cp "$OUT" "$ERR"
- echo
- echo "$1 output changed:"
- diff -u "$OUTOK" "$ERR" || true
- fail=1
- fi
+ cp "$OUT" "$ERR"
+ echo
+ echo "$1 output changed:"
+ diff -u "$OUTOK" "$ERR" || true
+ fail=1
fi
fi