about summary refs log tree commit diff
path: root/configure.ac
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2008-04-10T09·54+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2008-04-10T09·54+0000
commit658816ddc9b6c22ddb9de27b82fc15af2a473723 (patch)
tree2357f56d7e3cf092952c3fbb75bab3a7cdcfe3eb /configure.ac
parent72034ab35d5ba8c2b229fe36375a15b2a8b5b68c (diff)
* 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.

Diffstat (limited to 'configure.ac')
-rw-r--r--configure.ac2
1 files changed, 1 insertions, 1 deletions
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)