summaryrefslogtreecommitdiff
path: root/scripts/crosstool-NG.sh.in
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-08-02 18:06:06 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-08-02 18:06:06 (GMT)
commitd6195c648305674e568b4e0e4d29692f74335cbc (patch)
treeca1f70d0259b42a15ecce37dd96c24e7e74e8e8f /scripts/crosstool-NG.sh.in
parenta08142a02a84eaf42c148a9a41f9e2bed83fba73 (diff)
[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.
Diffstat (limited to 'scripts/crosstool-NG.sh.in')
-rw-r--r--scripts/crosstool-NG.sh.in1
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/crosstool-NG.sh.in b/scripts/crosstool-NG.sh.in
index d4299c3..988ff79 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