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 | |
| 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.
| -rw-r--r-- | configure.ac | 2 | ||||
| -rw-r--r-- | substitute.mk | 2 |
2 files changed, 2 insertions, 2 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) diff --git a/substitute.mk b/substitute.mk index bdc9c435015e..ed60c53a89a6 100644 --- a/substitute.mk +++ b/substitute.mk @@ -9,7 +9,7 @@ -e "s^@libexecdir\@^$(libexecdir)^g" \ -e "s^@storedir\@^$(storedir)^g" \ -e "s^@system\@^$(system)^g" \ - -e "s^@shell\@^$(shell)^g" \ + -e "s^@shell\@^$(bash)^g" \ -e "s^@curl\@^$(curl)^g" \ -e "s^@bzip2\@^$(bzip2_bin)/bzip2^g" \ -e "s^@bunzip2\@^$(bzip2_bin)/bunzip2^g" \ |