Merge pull request #4969 from phy1729/devel

Add zsh support for working dir independant sourcing
pull/4960/merge
Michael DeHaan 11 years ago
commit 855b9bdea5

@ -5,6 +5,8 @@
# When run using source as directed, $0 gets set to bash, so we must use $BASH_SOURCE # When run using source as directed, $0 gets set to bash, so we must use $BASH_SOURCE
if [ -n "$BASH_SOURCE" ] ; then if [ -n "$BASH_SOURCE" ] ; then
HACKING_DIR=`dirname $BASH_SOURCE` HACKING_DIR=`dirname $BASH_SOURCE`
elif [ ${0:(-9)} = "env-setup" ]; then
HACKING_DIR=`dirname $0`
else else
HACKING_DIR="$PWD/hacking" HACKING_DIR="$PWD/hacking"
fi fi

Loading…
Cancel
Save