diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-04-10T09·54+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-04-10T09·54+0000 |
| commit | 658816ddc9b6c22ddb9de27b82fc15af2a473723 (patch) | |
| tree | 2357f56d7e3cf092952c3fbb75bab3a7cdcfe3eb /configure.ac | |
| parent | 72034ab35d5ba8c2b229fe36375a15b2a8b5b68c (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.ac | 2 |
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) |