diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-02-13 00:29:03 +0100 |
|---|---|---|
| committer | Christopher Li <sparse@chrisli.org> | 2017-02-13 09:38:18 +0800 |
| commit | ee43fc784e52e3ee9e1b45da1be5193ea3b64334 (patch) | |
| tree | 06761cc0ba921a356fc0deea9605b96181d947e9 | |
| parent | 2ecb7f894226daabd534daee940db38ea8032e26 (diff) | |
| download | sparse-dev-ee43fc784e52e3ee9e1b45da1be5193ea3b64334.tar.gz | |
testsuite: allow quieter error reporting
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
| -rwxr-xr-x | validation/test-suite | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/validation/test-suite b/validation/test-suite index fdb7cbc2..47015c61 100755 --- a/validation/test-suite +++ b/validation/test-suite @@ -126,7 +126,7 @@ verbose() # error(string[, die]) - prints an error and exits with value die if given error() { - echo "error: $1" + [ "$quiet" -ne 1 ] && echo "error: $1" [ -n "$2" ] && exit $2 return 0 } @@ -223,7 +223,7 @@ do_test() if [ "$?" -ne "0" ]; then error "actual $stream text does not match expected $stream text." error "see $file.$stream.* for further investigation." - cat "$file".$stream.diff + [ $quiet -ne 1 ] && cat "$file".$stream.diff test_failed=1 fi done |