about summary refs log tree commit diff
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2007-10-29T10·46+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2007-10-29T10·46+0000
commit0b95603595511db693378404b0f84d4033030dec (patch)
tree111dd658fa7271245769c3d6a7506a969af3dd32
parent42d80d11705579dbb1e8b9029e2beaa1e86baf91 (diff)
* Depend on bash instead of sh (since we use a few bashisms).
-rw-r--r--configure.ac2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac
index afffe705927a..21c43b6490b8 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)