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