config: make CONFIG_SHELL default to bash
author"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Thu Aug 06 19:40:26 2009 +0200 (2009-08-06)
changeset 1459aec371a30cf3
parent 1449 8ad2773e7ae3
child 1460 d02a50cc300d
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.
config/global/build-behave.in
     1.1 --- a/config/global/build-behave.in	Mon Aug 03 00:49:25 2009 +0200
     1.2 +++ b/config/global/build-behave.in	Thu Aug 06 19:40:26 2009 +0200
     1.3 @@ -47,7 +47,7 @@
     1.4  choice
     1.5      bool
     1.6      prompt "Shell to use as CONFIG_SHELL"
     1.7 -    default CONFIG_SHELL_SYSTEM
     1.8 +    default CONFIG_SHELL_BASH
     1.9  
    1.10  config CONFIG_SHELL_SH
    1.11      bool
    1.12 @@ -68,11 +68,9 @@
    1.13        ./configure scripts, although written to use /bin/sh, may really
    1.14        require to be run by bash.
    1.15        
    1.16 -      The default is to use your system's /bin/sh shell. If you want to
    1.17 -      run faster, you can select to use dash. If you have problems with
    1.18 -      either the system shell or when using dash, then you can force to
    1.19 -      use bash.
    1.20 -      
    1.21 +      The default is to use bash, as some components (eg. GMP) will fail
    1.22 +      to build with anything else than bash.
    1.23 +
    1.24  config CONFIG_SHELL_ASH
    1.25      bool
    1.26      prompt "ash (READ HELP!)"