[config] Add bash as a possible CONFIG_SHELL
author"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Aug 02 20:06:06 2009 +0200 (2009-08-02)
changeset 14459f7946c892da
parent 1444 8f6a793dc5b5
child 1446 0a44fc4d6bd0
[config] Add bash as a possible CONFIG_SHELL

On some systems and/or for some components, it may be necessary to
explicitly use bash as the shell used by ./configure and Makefiles.
config/global/build-behave.in
scripts/crosstool-NG.sh.in
     1.1 --- a/config/global/build-behave.in	Sun Aug 02 23:43:15 2009 +0200
     1.2 +++ b/config/global/build-behave.in	Sun Aug 02 20:06:06 2009 +0200
     1.3 @@ -81,9 +81,18 @@
     1.4        
     1.5        See help for CONFIG_SHELL_SH, above, for more explanations.
     1.6  
     1.7 +config CONFIG_SHELL_BASH
     1.8 +    bool
     1.9 +    prompt "bash"
    1.10 +    help
    1.11 +      Use 'bash' as CONFIG_SHELL.
    1.12 +      
    1.13 +      See help for CONFIG_SHELL_SH, above, for more explanations.
    1.14 +
    1.15  endchoice
    1.16  
    1.17  config CONFIG_SHELL
    1.18      string
    1.19      default "sh"    if CONFIG_SHELL_SH
    1.20      default "ash"   if CONFIG_SHELL_ASH
    1.21 +    default "bash"  if CONFIG_SHELL_BASH
     2.1 --- a/scripts/crosstool-NG.sh.in	Sun Aug 02 23:43:15 2009 +0200
     2.2 +++ b/scripts/crosstool-NG.sh.in	Sun Aug 02 20:06:06 2009 +0200
     2.3 @@ -66,6 +66,7 @@
     2.4  case "${CT_CONFIG_SHELL}" in
     2.5      sh)     CT_SHELL="/bin/sh";;
     2.6      ash)    CT_SHELL="/bin/ash";;
     2.7 +    bash)   CT_SHELL="${BASH}";;
     2.8  esac
     2.9  
    2.10  # Check the user is using an existing SHELL to be used by ./configure and Makefiles