[PATCH] test: test-lib.sh: use $BASH instead of ${SHELL-sh} to relaunch

[David Bremner]

Tomi Ollila <tomi.ollila at iki.fi> writes:

> In case of the test script is to be relaunced under valgrind, or --tee
> is requested, use the $BASH shell variable to locate the command
> interpreter. The $SHELL variable is re-set by non-interactive shells
> so in case the shell uses some other shell (e.g. zsh) for interactive
> use these bash scripts continue to work.

This seems to fix the problem I was having. I did notice the test_C
function probably needs to be updated to pay attention to valgrind
option, but that is more of a feature request than a bug.

d