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

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

Date: Sat, 24 Sep 2016 10:17:34 -0300

To: Tomi Ollila, notmuch@notmuchmail.org

Cc: tomi.ollila@iki.fi

From: David Bremner


Tomi Ollila <tomi.ollila@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.
> ---
>  test/test-lib.sh | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)

pushed

d

Thread: