# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1249580426 -7200
# Node ID aec371a30cf336b99fa31974c61b10a2baadf8d5
# Parent  8ad2773e7ae3931568206e2b112c58624b366519
config: make CONFIG_SHELL default to bash

Some components (eg. GMP) will fail to correctly build if
the CONFIG_SHELL is not bash (eg. ash or dash). So make bash
the default CONFIG_SHELL.

Keep ash as a possible selection, as future versions of those
currently /broken/ tools may come fixed wrt to CONFIG_SHELL
being POSIX-ly compliant.

diff -r 8ad2773e7ae3 -r aec371a30cf3 config/global/build-behave.in
--- a/config/global/build-behave.in	Mon Aug 03 00:49:25 2009 +0200
+++ b/config/global/build-behave.in	Thu Aug 06 19:40:26 2009 +0200
@@ -47,7 +47,7 @@
 choice
     bool
     prompt "Shell to use as CONFIG_SHELL"
-    default CONFIG_SHELL_SYSTEM
+    default CONFIG_SHELL_BASH
 
 config CONFIG_SHELL_SH
     bool
@@ -68,11 +68,9 @@
       ./configure scripts, although written to use /bin/sh, may really
       require to be run by bash.
       
-      The default is to use your system's /bin/sh shell. If you want to
-      run faster, you can select to use dash. If you have problems with
-      either the system shell or when using dash, then you can force to
-      use bash.
-      
+      The default is to use bash, as some components (eg. GMP) will fail
+      to build with anything else than bash.
+
 config CONFIG_SHELL_ASH
     bool
     prompt "ash (READ HELP!)"