# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1200519713 0
# Node ID e0816bfc311b49fd36bfee48e360809181640bc4
# Parent  f9c8001e625468e392cafe89d8ca6ef6e2849e0b
Bail out if /bin/bash does not exist, or if it is not bash>=3.0.
Force make to use /bin/bash as shell.

diff -r f9c8001e6254 -r e0816bfc311b configure
--- a/configure	Fri Nov 02 18:55:55 2007 +0000
+++ b/configure	Wed Jan 16 21:41:53 2008 +0000
@@ -125,7 +125,7 @@
 [ -x /bin/bash ] || do_error "bash 3.0 or above was not found in /bin/bash"
 bash_version=$(/bin/bash -c 'echo ${BASH_VERSION}')
 bash_major=$(/bin/bash -c 'echo ${BASH_VERSINFO[0]}')
-[ ${bash_major} -ge 3 ] || do_error "bash 3.0 or above is needed (found ${bash_version})"
+[ ${bash_major} -ge 3 ] || do_error "bash 3.0 or above is needed (/bin/bash is ${bash_version})"
 
 sed -r -e "s,@@BINDIR@@,${BINDIR},g;"   \
        -e "s,@@LIBDIR@@,${LIBDIR},g;"   \
diff -r f9c8001e6254 -r e0816bfc311b ct-ng.in
--- a/ct-ng.in	Fri Nov 02 18:55:55 2007 +0000
+++ b/ct-ng.in	Wed Jan 16 21:41:53 2008 +0000
@@ -3,8 +3,16 @@
 # Copyright 2006 Yann E. MORIN <yann.morin.1998@anciens.enib.fr>
 
 # 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!
 CT_NG:=@@CT_BINDIR@@/ct-ng