summaryrefslogtreecommitdiff
path: root/config/global/build-behave.in
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-08-02 18:06:06 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-08-02 18:06:06 (GMT)
commitd6195c648305674e568b4e0e4d29692f74335cbc (patch)
treeca1f70d0259b42a15ecce37dd96c24e7e74e8e8f /config/global/build-behave.in
parenta08142a02a84eaf42c148a9a41f9e2bed83fba73 (diff)
[config] Add bash as a possible CONFIG_SHELL
On some systems and/or for some components, it may be necessary to explicitly use bash as the shell used by ./configure and Makefiles.
Diffstat (limited to 'config/global/build-behave.in')
-rw-r--r--config/global/build-behave.in9
1 files changed, 9 insertions, 0 deletions
diff --git a/config/global/build-behave.in b/config/global/build-behave.in
index 2fb1a29..afd54e2 100644
--- a/config/global/build-behave.in
+++ b/config/global/build-behave.in
@@ -81,9 +81,18 @@ config CONFIG_SHELL_ASH
See help for CONFIG_SHELL_SH, above, for more explanations.
+config CONFIG_SHELL_BASH
+ bool
+ prompt "bash"
+ help
+ Use 'bash' as CONFIG_SHELL.
+
+ See help for CONFIG_SHELL_SH, above, for more explanations.
+
endchoice
config CONFIG_SHELL
string
default "sh" if CONFIG_SHELL_SH
default "ash" if CONFIG_SHELL_ASH
+ default "bash" if CONFIG_SHELL_BASH