# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1249236366 -7200
# Node ID 9f7946c892da2ce7b1ab8a62ca4fae0f2780589d
# Parent  8f6a793dc5b5048bfe1657cfc23ded57c59678be
[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 -r 8f6a793dc5b5 -r 9f7946c892da config/global/build-behave.in
--- a/config/global/build-behave.in	Sun Aug 02 23:43:15 2009 +0200
+++ b/config/global/build-behave.in	Sun Aug 02 20:06:06 2009 +0200
@@ -81,9 +81,18 @@
       
       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 -r 8f6a793dc5b5 -r 9f7946c892da scripts/crosstool-NG.sh.in
--- a/scripts/crosstool-NG.sh.in	Sun Aug 02 23:43:15 2009 +0200
+++ b/scripts/crosstool-NG.sh.in	Sun Aug 02 20:06:06 2009 +0200
@@ -66,6 +66,7 @@
 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