diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-10-29 10:46:45 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-10-29 10:46:45 +0000 |
| commit | 0b95603595511db693378404b0f84d4033030dec (patch) | |
| tree | 111dd658fa7271245769c3d6a7506a969af3dd32 /configure.ac | |
| parent | 42d80d11705579dbb1e8b9029e2beaa1e86baf91 (diff) | |
* Depend on bash instead of sh (since we use a few bashisms).
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
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) |