config/global/build-behave.in
changeset 1459 aec371a30cf3
parent 1447 8ef937cc57ba
child 1753 fcc55af9aee5
     1.1 --- a/config/global/build-behave.in	Sun Aug 02 23:50:22 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!)"