diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-12-13 22:37:40 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-12-16 16:21:45 +0100 |
| commit | 09011047682309991c1ff1ff53de71e878a0ae05 (patch) | |
| tree | cb2abc6fac6acf5e778106b11feb93b8e3c0185f | |
| parent | b42541e164764c7d5bc67606f3e39184350f5ad8 (diff) | |
| download | sparse-dev-09011047682309991c1ff1ff53de71e878a0ae05.tar.gz | |
testsuite: process extra options without exec
Commit 399c43889 (testsuite: get options from env too) allowed
the testsuite to takes extra options from the environment but
did it in a crude way involving exec.
Change this by using 'set --' instead of doing an 'exec'.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
| -rwxr-xr-x | validation/test-suite | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/validation/test-suite b/validation/test-suite index 5655ac40..f1d3301a 100755 --- a/validation/test-suite +++ b/validation/test-suite @@ -2,13 +2,6 @@ #set -x -## allow flags from environment -flags="$SPARSE_TEST_FLAGS" -if [ ! -z "$flags" ]; then - unset SPARSE_TEST_FLAGS - exec "$0" $flags "$@" -fi - cd $(dirname "$0") default_path=".." @@ -513,6 +506,10 @@ _EOF return 0 } +## allow flags from environment +set -- $SPARSE_TEST_FLAGS "$@" + +## process the flags while [ "$#" -gt "0" ]; do case "$1" in -a|--abort) |