diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-09-11 16:51:07 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-11-08 10:51:02 +0100 |
| commit | 86f367f6f6eeadf1bbbc6ce4735501df79ae1a22 (patch) | |
| tree | dfc4c686aa8823c89e982cf62a8adebc456d165c | |
| parent | c3c0e477f649f5b5cd9ab8b33d39fb772c82f424 (diff) | |
| download | sparse-dev-86f367f6f6eeadf1bbbc6ce4735501df79ae1a22.tar.gz | |
testsuite: saner handling of 'must_fail'
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
| -rwxr-xr-x | validation/test-suite | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/validation/test-suite b/validation/test-suite index adcb1a65..03785504 100755 --- a/validation/test-suite +++ b/validation/test-suite @@ -328,17 +328,19 @@ do_test() fi fi - [ "$test_failed" -eq "$must_fail" ] || failed=1 - if [ "$must_fail" -eq "1" ]; then if [ "$test_failed" -eq "1" ]; then echo "info: test '$file' is known to fail" else echo "error: test '$file' is known to fail but succeed!" - test_failed=1 fi fi + if [ "$test_failed" -ne "$must_fail" ]; then + test_failed=1 + failed=1 + fi + if [ "$test_failed" -eq "1" ]; then ko_tests=$(($ko_tests + 1)) else |