diff options
Diffstat (limited to 'tests/script.sh')
| -rwxr-xr-x | tests/script.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tests/script.sh b/tests/script.sh index 5942e13159fe..f59daf343339 100755 --- a/tests/script.sh +++ b/tests/script.sh @@ -88,15 +88,15 @@ fi if [ "$d" = "bc" ]; then if [ "$run_stack_tests" -ne 0 ]; then - options="-lgq" + options="-lgqC" else - options="-lq" + options="-lqC" fi halt="halt" else - options="-x" + options="-xC" halt="q" fi @@ -159,7 +159,7 @@ else # This is to check that the command exists. If not, we should not try to # generate the test. Instead, we should just skip. - command -v "$d" + command -v "$d" 1>/dev/null 2>&1 err="$?" set -e |