1.1 --- a/config/global/build-behave.in	Wed Oct 05 14:19:51 2011 +1300
     1.2 +++ b/config/global/build-behave.in	Tue Oct 11 21:43:42 2011 +0200
     1.3 @@ -78,6 +78,10 @@
     1.4        
     1.5        The default is to use bash, as some components (eg. GMP) will fail
     1.6        to build with anything else than bash.
     1.7 +      
     1.8 +      Unless you have a very strong reason not to (eg. you are debugging
     1.9 +      the bashisms in a ./configure script), you should use the default,
    1.10 +      and use bash.
    1.11  
    1.12  config CONFIG_SHELL_ASH
    1.13      bool
    1.14 @@ -109,15 +113,20 @@
    1.15  
    1.16  endchoice
    1.17  
    1.18 -config CONFIG_SHELL
    1.19 -    string
    1.20 -    default "sh"        if CONFIG_SHELL_SH
    1.21 -    default "ash"       if CONFIG_SHELL_ASH
    1.22 -    default "bash"      if CONFIG_SHELL_BASH
    1.23 -    default "custom"    if CONFIG_SHELL_CUSTOM || BACKEND
    1.24 -
    1.25 +# Do not put this into the choice above, because the choice
    1.26 +# is not available in BACKEND-mode, while we do want this to
    1.27 +# be set even in BACKEND-mode.
    1.28  config CONFIG_SHELL_CUSTOM_PATH
    1.29      string
    1.30      prompt "Path to custom shell" if ! BACKEND
    1.31      depends on CONFIG_SHELL_CUSTOM || BACKEND
    1.32      default "/bin/sh"
    1.33 +
    1.34 +# Ditto.
    1.35 +# And we must use the ./configured bash...
    1.36 +config CONFIG_SHELL
    1.37 +    string
    1.38 +    default "/bin/sh"                   if CONFIG_SHELL_SH
    1.39 +    default "/bin/ash"                  if CONFIG_SHELL_ASH
    1.40 +    default "${bash}"                   if CONFIG_SHELL_BASH
    1.41 +    default CONFIG_SHELL_CUSTOM_PATH    if CONFIG_SHELL_CUSTOM || BACKEND