diff options
author | Lars Wirzenius <lwirzenius@wikimedia.org> | 2019-08-18 14:00:09 +0200 |
---|---|---|
committer | Lars Wirzenius <lwirzenius@wikimedia.org> | 2019-08-18 14:00:09 +0200 |
commit | e4c842280fdc812223211b03177be8cbf154e6c0 (patch) | |
tree | 77167a4b9d979d71f9ede8c96e8c19afe729b7f2 | |
parent | 83fc6ee09bd813df8562dada4346eed4d264a74b (diff) | |
download | wikitexttest-e4c842280fdc812223211b03177be8cbf154e6c0.tar.gz |
Change: report which tests fail
-rwxr-xr-x | runtests | 9 |
1 files changed, 5 insertions, 4 deletions
@@ -6,11 +6,12 @@ set -o pipefail engine="$1" - find tests -type f -name '*.wiki' | sed 's,\.wiki$,,' | - while read base + while read x do - ./runatest "$engine" "${base}.wiki" "${base}.html" "${base}.output" "${base}.diff" + if ! ./runatest "$engine" "$x.wiki" "$x.html" "$x.output" "$x.diff" + then + echo "ERROR: $x.wiki" 1>&2 + fi done - |