diff -r 8ef937cc57ba -r aec371a30cf3 config/global/build-behave.in
--- a/config/global/build-behave.in	Sun Aug 02 23:50:22 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!)"