diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/global/build-behave.in | 10 |
1 files changed, 4 insertions, 6 deletions
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!)" |