tests/run-tests
changeset 802 69db1e34378b
parent 798 c28f9feb7c2e
child 803 3d47e7fc33a3
--- 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