From 6370afc4f47bc656466f608fe7549b652497a9cd Mon Sep 17 00:00:00 2001
From: "Yann E. MORIN\"" <yann.morin.1998@anciens.enib.fr>
Date: Thu, 6 Aug 2009 19:40:26 +0200
Subject: 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 --git a/config/global/build-behave.in b/config/global/build-behave.in
index 9ee8316..b0a1040 100644
--- a/config/global/build-behave.in
+++ b/config/global/build-behave.in
@@ -47,7 +47,7 @@ config USE_PIPES
 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 @@ config CONFIG_SHELL_SH
       ./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!)"
-- 
cgit v0.10.2-6-g49f6