equal
deleted
inserted
replaced
95 fail=1 |
95 fail=1 |
96 elif [ -r "$OUTOK" ]; then |
96 elif [ -r "$OUTOK" ]; then |
97 if diff -u "$OUTOK" "$OUT" > /dev/null; then |
97 if diff -u "$OUTOK" "$OUT" > /dev/null; then |
98 : no differences |
98 : no differences |
99 else |
99 else |
100 if FIXME="`grep 'FIXME' \"$TESTDIR/$1\"`"; then |
100 cp "$OUT" "$ERR" |
101 echo |
101 echo |
102 echo "$1 failed, but this is ignored because of:" |
102 echo "$1 output changed:" |
103 echo "$FIXME" |
103 diff -u "$OUTOK" "$ERR" || true |
104 else |
104 fail=1 |
105 cp "$OUT" "$ERR" |
|
106 echo |
|
107 echo "$1 output changed:" |
|
108 diff -u "$OUTOK" "$ERR" || true |
|
109 fail=1 |
|
110 fi |
|
111 fi |
105 fi |
112 fi |
106 fi |
113 |
107 |
114 cd "$TESTDIR" |
108 cd "$TESTDIR" |
115 rm -f "$HGTMP/$1.out" |
109 rm -f "$HGTMP/$1.out" |