path: root/
diff options
authorYann E. MORIN" <>2008-01-16 21:41:53 (GMT)
committerYann E. MORIN" <>2008-01-16 21:41:53 (GMT)
commit3f9386c0a74cc5db0dc0c0966717308d6b9b7630 (patch)
tree70547b059655a184c0b684c67ad119a4d23e7c32 /
parent4850e20c267d5a7fca95cf6d177ad92275e78c7e (diff)
Bail out if /bin/bash does not exist, or if it is not bash>=3.0.
Force make to use /bin/bash as shell.
Diffstat (limited to '')
1 files changed, 8 insertions, 0 deletions
diff --git a/ b/
index 050e1c0..d1a4bee 100644
--- a/
+++ b/
@@ -3,8 +3,16 @@
# Copyright 2006 Yann E. MORIN <>
# Don't print directory as we descend into them
+# Don't use built-in rules, we know what we're doing
MAKEFLAGS += --no-print-directory --no-builtin-rules
+# Some distributions (eg. Ubuntu) thought it wise to point /bin/sh to
+# a truly POSIX-conforming shell, ash in this case. This is not so good
+# as we, smart (haha!) developers (as smart we ourselves think we are),
+# got used to bashisms, and are enclined to easiness... So force use of
+# bash. (Note: this is ugly, but ./configure checks for it).
+export SHELL=/bin/bash
# This is where ct-ng is.
# Don't bother to change it other than with a new ./configure!