changeset 833 | ad8ff3534fde |
parent 814 | 0902ffece4b4 |
child 835 | 9de3535caae8 |
--- a/tests/run-tests +++ b/tests/run-tests @@ -97,17 +97,11 @@ run_one() { 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