From d6195c648305674e568b4e0e4d29692f74335cbc Mon Sep 17 00:00:00 2001
From: "Yann E. MORIN\"" <yann.morin.1998@anciens.enib.fr>
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.

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
-- 
cgit v0.10.2-6-g49f6