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

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

Date: Sat, 24 Sep 2016 16:27:03 +0300

To: notmuch@notmuchmail.org

Cc: tomi.ollila@iki.fi

From: Tomi Ollila


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 environment variable is not set by bash if it already
had non-empty value (e.g. "/bin/zsh").
After this change requesting script relaunch from users' "incompatible"
(i.e. not bash 4.x) cli SHELLs will work.
---

this obsoletes id:1474721007-15011-1-git-send-email-tomi.ollila@iki.fi
(commit message change)

some times it is really hard to come up with tolerable commit message...


 test/test-lib.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/test-lib.sh b/test/test-lib.sh
index 21940d183b45..4f99f7c7a233 100644
--- a/test/test-lib.sh
+++ b/test/test-lib.sh
@@ -42,7 +42,7 @@ done,*)
 *' --tee '*|*' --va'*)
 	mkdir -p test-results
 	BASE=test-results/$this_test
-	(GIT_TEST_TEE_STARTED=done ${SHELL-sh} "$0" "$@" 2>&1;
+	(GIT_TEST_TEE_STARTED=done "$BASH" "$0" "$@" 2>&1;
 	 echo $? > $BASE.exit) | tee $BASE.out
 	test "$(cat $BASE.exit)" = 0
 	exit
-- 
2.8.2


Thread: