diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-02-13 00:29:01 +0100 |
|---|---|---|
| committer | Christopher Li <sparse@chrisli.org> | 2017-02-13 09:38:16 +0800 |
| commit | d9ddbba2bfeb54354edf96e0eb4921ea6838ab34 (patch) | |
| tree | 8746f54545f3a4a6ff08e5d4ba8b9f76e57c9008 /validation | |
| parent | ca3b42a46e7b6894e75c6755927544845a5e3e97 (diff) | |
| download | sparse-dev-d9ddbba2bfeb54354edf96e0eb4921ea6838ab34.tar.gz | |
testsuite: use 'error' instead of 'info' for successful tests known to fail
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
Diffstat (limited to 'validation')
| -rwxr-xr-x | validation/test-suite | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/validation/test-suite b/validation/test-suite index c14a4c5a..852904a4 100755 --- a/validation/test-suite +++ b/validation/test-suite @@ -259,7 +259,7 @@ do_test() if [ "$test_failed" -eq "1" ]; then echo "info: test '$file' is known to fail" else - echo "info: test '$file' is known to fail but succeed!" + echo "error: test '$file' is known to fail but succeed!" test_failed=1 fi fi |