summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--config/global/build-behave.in10
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!)"