Show More
@@ -103,11 +103,17 b' run_one() {' | |||
|
103 | 103 | if diff -u "$OUTOK" "$OUT" > /dev/null; then |
|
104 | 104 | : no differences |
|
105 | 105 | else |
|
106 | cp "$OUT" "$ERR" | |
|
107 | echo | |
|
108 | echo "$1 output changed:" | |
|
109 | diff -u "$OUTOK" "$ERR" || true | |
|
110 |
|
|
|
106 | if FIXME="`grep 'FIXME' \"$TESTDIR/$1\"`"; then | |
|
107 | echo | |
|
108 | echo "$1 failed, but this is ignored because of:" | |
|
109 | echo "$FIXME" | |
|
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 | 117 | fi |
|
112 | 118 | fi |
|
113 | 119 |
General Comments 0
You need to be logged in to leave comments.
Login now