mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2024-12-19 04:47:52 +00:00
config: make CONFIG_SHELL default to bash
Some components (eg. GMP) will fail to correctly build if the CONFIG_SHELL is not bash (eg. ash or dash). So make bash the default CONFIG_SHELL. Keep ash as a possible selection, as future versions of those currently /broken/ tools may come fixed wrt to CONFIG_SHELL being POSIX-ly compliant.
This commit is contained in:
parent
b0f5a18c32
commit
6370afc4f4
@ -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!)"
|
||||
|
Loading…
Reference in New Issue
Block a user