--- a/tests/run-tests Fri Jul 29 15:21:02 2005 +0100
+++ b/tests/run-tests Fri Jul 29 15:59:10 2005 +0100
@@ -103,11 +103,17 @@
if diff -u "$OUTOK" "$OUT" > /dev/null; then
: no differences
else
- cp "$OUT" "$ERR"
- echo
- echo "$1 output changed:"
- diff -u "$OUTOK" "$ERR" || true
- fail=1
+ 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
fi
fi