diff options
| author | rpe-github <robert.peichaer@gmail.com> | 2015-01-25 23:13:54 +0100 |
|---|---|---|
| committer | rpe-github <robert.peichaer@gmail.com> | 2015-01-25 23:13:54 +0100 |
| commit | 0a730671539b7f3ba20ae4f5b156a893606eb78b (patch) | |
| tree | 63eefd6ec6519354bff8d1c0fb3022518a67a810 /hacking/env-setup | |
| parent | 53a3644ecd49dc7e9ee1a5ba5131a9298055dd33 (diff) | |
| download | ansible-0a730671539b7f3ba20ae4f5b156a893606eb78b.tar.gz | |
Use basename -- $0 in case $0 starts with a dash.
For example, pdksh $0 contains '-ksh'.
Diffstat (limited to 'hacking/env-setup')
| -rw-r--r-- | hacking/env-setup | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hacking/env-setup b/hacking/env-setup index d81ed3b65d..10adad5099 100644 --- a/hacking/env-setup +++ b/hacking/env-setup @@ -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" |