diff options
| author | Tomi Ollila <tomi.ollila@iki.fi> | 2016-09-24 15:43:27 +0300 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2016-09-24 10:10:40 -0300 |
| commit | b57426a43549ac5434c0f793e184f1b0b955f7e0 (patch) | |
| tree | 2a031bc5f62d708aed7047928c3a248610917681 /bindings/python | |
| parent | 514a0a6a3bd74c03db6cd9b28edc0a29a8a2441e (diff) | |
test: test-lib.sh: use $BASH instead of ${SHELL-sh} to relaunch
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.
Diffstat (limited to 'bindings/python')
0 files changed, 0 insertions, 0 deletions