svn: 1547
@@ -1,7 +1,16 @@
#! /bin/sh
# We want to use BASH, not whatever /bin/sh points to.
if test -z "$BASH"; then
- bash $0 ${1+"$@"}
+ bash="`which bash`"
+ if ! test -e ${bash}; then
+ bash="/bin/bash"
+ fi
+
+ bash="/usr/local/bin/bash"
+ ${bash} $0 ${1+"$@"}
exit 0
fi