diff options
| author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-08-06 19:40:26 +0200 |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-08-06 19:40:26 +0200 |
| commit | 6370afc4f47bc656466f608fe7549b652497a9cd (patch) | |
| tree | 22e680f17cfff31931e6850daf48f453556dce01 /config/global | |
| parent | b0f5a18c32d871a8944a9a1ead5d51eb161974a8 (diff) | |
| download | crosstool-ng-6370afc4f47bc656466f608fe7549b652497a9cd.tar.gz crosstool-ng-6370afc4f47bc656466f608fe7549b652497a9cd.tar.bz2 crosstool-ng-6370afc4f47bc656466f608fe7549b652497a9cd.zip | |
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.
Diffstat (limited to 'config/global')
| -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 9ee83161..b0a10403 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!)" |