diff options
| -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 |