]> git.notmuchmail.org Git - notmuch/commitdiff
test: test-lib.sh: use $BASH instead of ${SHELL-sh} to relaunch
authorTomi Ollila <tomi.ollila@iki.fi>
Sat, 24 Sep 2016 12:43:27 +0000 (15:43 +0300)
committerDavid Bremner <david@tethera.net>
Sat, 24 Sep 2016 13:10:40 +0000 (10:10 -0300)
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.


No differences found