From 658816ddc9b6c22ddb9de27b82fc15af2a473723 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Thu, 10 Apr 2008 09:54:23 +0000
Subject: * Make really sure that we use bash.  The line

    NEED_PROG(shell, bash)

  actually uses the content of $shell if set, which often points at
  /bin/sh.
---
 configure.ac | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'configure.ac')

diff --git a/configure.ac b/configure.ac
index 137f4dbf2ae0..f12ac0c486d4 100644
--- a/configure.ac
+++ b/configure.ac
@@ -124,7 +124,7 @@ fi
 ])
 
 NEED_PROG(curl, curl)
-NEED_PROG(shell, bash)
+NEED_PROG(bash, bash)
 NEED_PROG(patch, patch)
 AC_PATH_PROG(xmllint, xmllint, false)
 AC_PATH_PROG(xsltproc, xsltproc, false)
-- 
cgit 1.4.1