diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-11-20 16:12:36 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-12-08 13:55:21 +0100 |
| commit | 91ae85c674645e9d7284ed48c57d41596ec28990 (patch) | |
| tree | 112bd7ec9a9d01db275ae5cbb91a93b5f7d7526c /validation/test-suite | |
| parent | ca1f89a7fad186eb2bd4da86d0cd28b5a0137bef (diff) | |
| download | sparse-dev-91ae85c674645e9d7284ed48c57d41596ec28990.tar.gz | |
testsuite: default to shift in the getopt loop
The getopt loop used to bear by default and only some
options had to explicitly call 'shift' and 'continue'
to process further elements.
Change this to a 'normal' loop, shifting the next arg by default
and breaking of the loop when needed.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/test-suite')
| -rwxr-xr-x | validation/test-suite | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/validation/test-suite b/validation/test-suite index 098cc786..8c045359 100755 --- a/validation/test-suite +++ b/validation/test-suite @@ -510,13 +510,9 @@ while [ "$#" -gt "0" ]; do case "$1" in -a|--abort) abort=1 - shift - continue ;; -q|--quiet) vquiet=1 - shift - continue ;; single|--single) @@ -541,8 +537,6 @@ while [ "$#" -gt "0" ]; do *.c) tests_list="$tests_list $1" - shift - continue ;; *) if [ ! -d "$1" ]; then @@ -550,11 +544,9 @@ while [ "$#" -gt "0" ]; do exit 1 fi tests_list="$tests_list $(find "$1" -name '*.c' | sort)" - shift - continue ;; esac - break + shift done if [ -z "$tests_list" ]; then |