Commit 0a730671 by rpe-github

Use basename -- $0 in case $0 starts with a dash.

For example, pdksh $0 contains '-ksh'.
parent 53a3644e
......@@ -14,7 +14,7 @@ fi
# When run using source as directed, $0 gets set to bash, so we must use $BASH_SOURCE
if [ -n "$BASH_SOURCE" ] ; then
HACKING_DIR=$(dirname "$BASH_SOURCE")
elif [ $(basename "$0") = "env-setup" ]; then
elif [ $(basename -- "$0") = "env-setup" ]; then
HACKING_DIR=$(dirname "$0")
else
HACKING_DIR="$PWD/hacking"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment