diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-12-16 16:31:35 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-12-16 16:31:35 +0100 |
| commit | 178f19ad47c916ce02b286ec9cf831950340a4ac (patch) | |
| tree | e50ee75ba0e96df3d144f7d8b4ee0cd62f3515fc | |
| parent | 2f922ba822da324ccd2c201c076ca94d5e910a8a (diff) | |
| parent | df281cefca968ecf0485be6b46fd33feb5c903f0 (diff) | |
| download | sparse-dev-178f19ad47c916ce02b286ec9cf831950340a4ac.tar.gz | |
Merge branch 'testsuite-arg-env' into cli-macro
| -rwxr-xr-x | validation/test-suite | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/validation/test-suite b/validation/test-suite index 5655ac40..3abf69d4 100755 --- a/validation/test-suite +++ b/validation/test-suite @@ -2,17 +2,11 @@ #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=".." default_cmd="sparse \$file" +default_args="$SPARSE_TEST_ARGS" tests_list="" prog_name=`basename $0` @@ -327,7 +321,7 @@ do_test() shift # launch the test command and # grab the actual output & exit value - eval $pre_cmd $default_path/$base_cmd "$@" \ + eval $pre_cmd $default_path/$base_cmd $default_args "$@" \ 1> $file.output.got 2> $file.error.got actual_exit_value=$? @@ -513,6 +507,10 @@ _EOF return 0 } +## allow flags from environment +set -- $SPARSE_TEST_FLAGS "$@" + +## process the flags while [ "$#" -gt "0" ]; do case "$1" in -a|--abort) |