LICENSES
author |
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
|
Thu Aug 06 19:40:26 2009 +0200 (2009-08-06) |
changeset 1459 |
aec371a30cf3 |
permissions |
lrwxrwxrwx |
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.