From d6195c648305674e568b4e0e4d29692f74335cbc Mon Sep 17 00:00:00 2001 From: "Yann E. MORIN\"" Date: Sun, 2 Aug 2009 20:06:06 +0200 Subject: [config] Add bash as a possible CONFIG_SHELL On some systems and/or for some components, it may be necessary to explicitly use bash as the shell used by ./configure and Makefiles. --- scripts/crosstool-NG.sh.in | 1 + 1 file changed, 1 insertion(+) (limited to 'scripts') diff --git a/scripts/crosstool-NG.sh.in b/scripts/crosstool-NG.sh.in index d4299c31..988ff796 100644 --- a/scripts/crosstool-NG.sh.in +++ b/scripts/crosstool-NG.sh.in @@ -66,6 +66,7 @@ CT_DoExecLog DEBUG rm -f "${CT_WORK_DIR}/foo" case "${CT_CONFIG_SHELL}" in sh) CT_SHELL="/bin/sh";; ash) CT_SHELL="/bin/ash";; + bash) CT_SHELL="${BASH}";; esac # Check the user is using an existing SHELL to be used by ./configure and Makefiles -- cgit v1.2.3