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