diff options
| author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2011-10-11 21:43:42 +0200 |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2011-10-11 21:43:42 +0200 |
| commit | 56c411b206e1b85705a75cde652947160fee0970 (patch) | |
| tree | 52cceb99abe93a29f4b3189b254ee1f9252afcb2 /config/global | |
| parent | f52ab9bddb2f57134d2b89a45aa1b33327d663a7 (diff) | |
| download | crosstool-ng-56c411b206e1b85705a75cde652947160fee0970.tar.gz crosstool-ng-56c411b206e1b85705a75cde652947160fee0970.tar.bz2 crosstool-ng-56c411b206e1b85705a75cde652947160fee0970.zip | |
config: simplify setting CONFIG_SHELL, add a bit to the help entry
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Diffstat (limited to 'config/global')
| -rw-r--r-- | config/global/build-behave.in | 23 |
1 files changed, 16 insertions, 7 deletions
diff --git a/config/global/build-behave.in b/config/global/build-behave.in index fae99171..07302ffe 100644 --- a/config/global/build-behave.in +++ b/config/global/build-behave.in @@ -78,6 +78,10 @@ config CONFIG_SHELL_SH The default is to use bash, as some components (eg. GMP) will fail to build with anything else than bash. + + Unless you have a very strong reason not to (eg. you are debugging + the bashisms in a ./configure script), you should use the default, + and use bash. config CONFIG_SHELL_ASH bool @@ -109,15 +113,20 @@ config CONFIG_SHELL_CUSTOM endchoice -config CONFIG_SHELL - string - default "sh" if CONFIG_SHELL_SH - default "ash" if CONFIG_SHELL_ASH - default "bash" if CONFIG_SHELL_BASH - default "custom" if CONFIG_SHELL_CUSTOM || BACKEND - +# Do not put this into the choice above, because the choice +# is not available in BACKEND-mode, while we do want this to +# be set even in BACKEND-mode. config CONFIG_SHELL_CUSTOM_PATH string prompt "Path to custom shell" if ! BACKEND depends on CONFIG_SHELL_CUSTOM || BACKEND default "/bin/sh" + +# Ditto. +# And we must use the ./configured bash... +config CONFIG_SHELL + string + default "/bin/sh" if CONFIG_SHELL_SH + default "/bin/ash" if CONFIG_SHELL_ASH + default "${bash}" if CONFIG_SHELL_BASH + default CONFIG_SHELL_CUSTOM_PATH if CONFIG_SHELL_CUSTOM || BACKEND |