summaryrefslogtreecommitdiff
path: root/install.sh
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2009-07-04 13:28:38 +0200
committerGravatar Stephane Glondu <steph@glondu.net>2009-07-04 13:28:38 +0200
commit3a420f4ad929e8372d32c735fd0fd89dfc0346a1 (patch)
tree943a01d103c1296dc7c07cb188af994354c4d9a3 /install.sh
parent1769cbaddea77112dd6f336316d8eb9a0945a1e6 (diff)
parente4282ea99c664d8d58067bee199cbbcf881b60d5 (diff)
Merge commit 'upstream/8.2.pl1+dfsg'
Diffstat (limited to 'install.sh')
-rwxr-xr-xinstall.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/install.sh b/install.sh
index 277222f5..c2f8215b 100755
--- a/install.sh
+++ b/install.sh
@@ -1,4 +1,4 @@
-#! /bin/sh
+#! /bin/bash
dest="$1"
shift