diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-08-25 19:44:39 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-08-25 19:44:39 (GMT) |
commit | 4a7d144844e8a2ec2fa27debbe332d84ef916aca (patch) | |
tree | 4ea4a4a238cbdc3c29cde8488181772def0d824e /config | |
parent | c2426e53f17db134f19b23babc1b7ef8488dcdae (diff) |
Allow using ash as the shell for ./configure and make.
After an idea by "Martin Guy" <martinwguy@yahoo.it>:
http://sourceware.org/ml/crossgcc/2008-08/msg00037.html
/trunk/scripts/crosstool.sh | 4 4 0 0 ++++
/trunk/config/global/build-behave.in | 14 14 0 0 ++++++++++++++
2 files changed, 18 insertions(+)
Diffstat (limited to 'config')
-rw-r--r-- | config/global/build-behave.in | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/config/global/build-behave.in b/config/global/build-behave.in index 7c1175c..7f8a854 100644 --- a/config/global/build-behave.in +++ b/config/global/build-behave.in @@ -43,3 +43,17 @@ config USE_PIPES help Use gcc's option -pipe to use pipes rather than temp files when building the toolchain. + +config CONFIG_SHELL_ASH + bool + prompt "Use 'ash' as CONFIG_SHELL" + default n + help + Use /bin/ash as the shell used by ./configure scripts. + + ./configure scripts make intensive use of calling a sub-shell, and the + traditional bash is slow, whereas ash is faster. + + Saying 'y' here should be safe enough, but some components may not + accept using a shell other than bash (this is most probably true for + old versions). If you have trouble, say 'n' here and see if it fixes it. |