From 0b95603595511db693378404b0f84d4033030dec Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Mon, 29 Oct 2007 10:46:45 +0000
Subject: [PATCH] * Depend on bash instead of sh (since we use a few bashisms).

---
 configure.ac | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure.ac b/configure.ac
index afffe7059..21c43b649 100644
--- a/configure.ac
+++ b/configure.ac
@@ -124,7 +124,7 @@ fi
 ])
 
 NEED_PROG(curl, curl)
-NEED_PROG(shell, sh)
+NEED_PROG(shell, bash)
 NEED_PROG(patch, patch)
 AC_PATH_PROG(xmllint, xmllint, false)
 AC_PATH_PROG(xsltproc, xsltproc, false)