diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-09-11 05:43:33 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-11-08 10:51:02 +0100 |
| commit | 38bc15c1c1475285aba5945b889fe6fe9c3604c7 (patch) | |
| tree | 31b53fb730aed203e55211a670421e1eab545fd0 /validation | |
| parent | 3004ed26358f1b501883cabb6689abd9fceeb788 (diff) | |
| download | sparse-dev-38bc15c1c1475285aba5945b889fe6fe9c3604c7.tar.gz | |
testsuite: extract disable()
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
| -rwxr-xr-x | validation/test-suite | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/validation/test-suite b/validation/test-suite index 854081c5..df978c11 100755 --- a/validation/test-suite +++ b/validation/test-suite @@ -224,6 +224,14 @@ echo echo " help prints usage" } +disable() +{ + disabled_tests=$(($disabled_tests + 1)) + if [ -z "$vquiet" ]; then + echo " DISABLE $1 ($2)" + fi +} + ## # do_test(file) - tries to validate a test case # @@ -260,8 +268,7 @@ do_test() base_cmd=$1 for i in $disabled_cmds; do if [ "$i" = "$base_cmd" ] ; then - disabled_tests=$(($disabled_tests + 1)) - echo " DISABLE $test_name ($file)" + disable "$test_name" "$file" return 3 fi done |