Merge pull request #10092 from rpe-github/devel

In env-setup use basename -- $0 in case $0 starts with a dash.

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"