Show More
@@ -103,11 +103,17 b' run_one() {' | |||||
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 |
|
|
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 |
General Comments 0
You need to be logged in to leave comments.
Login now