summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--config/global/build-behave.in9
-rw-r--r--scripts/crosstool-NG.sh.in1
2 files changed, 10 insertions, 0 deletions
diff --git a/config/global/build-behave.in b/config/global/build-behave.in
index 2fb1a29..afd54e2 100644
--- a/config/global/build-behave.in
+++ b/config/global/build-behave.in
@@ -81,9 +81,18 @@ config CONFIG_SHELL_ASH
See help for CONFIG_SHELL_SH, above, for more explanations.
+config CONFIG_SHELL_BASH
+ bool
+ prompt "bash"
+ help
+ Use 'bash' as CONFIG_SHELL.
+
+ See help for CONFIG_SHELL_SH, above, for more explanations.
+
endchoice
config CONFIG_SHELL
string
default "sh" if CONFIG_SHELL_SH
default "ash" if CONFIG_SHELL_ASH
+ default "bash" if CONFIG_SHELL_BASH
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