diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-11-20 16:00:40 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-12-08 13:55:21 +0100 |
| commit | 881679750173037c450611ccb55b7366dc6df454 (patch) | |
| tree | 40c1b903a19fc9dd135fb436dcf9f926fe705d46 /validation | |
| parent | c34baae31b31dfcfb7cf3d6b233bb795f69b17c2 (diff) | |
| download | sparse-dev-881679750173037c450611ccb55b7366dc6df454.tar.gz | |
testsuite: early return in getopt loop
This is a preparatory step to allow to run only a part
of the testsuite (a subdir).
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
| -rwxr-xr-x | validation/test-suite | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/validation/test-suite b/validation/test-suite index d50a3bfa..c16c7c84 100755 --- a/validation/test-suite +++ b/validation/test-suite @@ -521,10 +521,12 @@ while true; do '') tests_list=`find . -name '*.c' | sed -e 's#^\./\(.*\)#\1#' | sort` do_test_suite + break ;; *.c) tests_list="$@" do_test_suite + break ;; single|--single) @@ -535,10 +537,12 @@ while true; do 1) echo "$2 failed !";; 2) echo "$2 can't be handled by $prog_name";; esac + exit $failed ;; format|--format) shift do_format "$@" + exit 0 ;; help | *) do_usage |