diff options
Diffstat (limited to 'scripts/setup-environment.sh')
-rwxr-xr-x | scripts/setup-environment.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/setup-environment.sh b/scripts/setup-environment.sh index 28adeec..566b708 100755 --- a/scripts/setup-environment.sh +++ b/scripts/setup-environment.sh | |||
@@ -34,7 +34,7 @@ while test -n "$1"; do | |||
34 | done | 34 | done |
35 | 35 | ||
36 | THIS_SCRIPT="setup-environment.sh" | 36 | THIS_SCRIPT="setup-environment.sh" |
37 | if [ "$(basename $0)" = "${THIS_SCRIPT}" ]; then | 37 | if [ "$(basename -- $0)" = "${THIS_SCRIPT}" ]; then |
38 | echo "Error: This script needs to be sourced. Please run as '. $0'" | 38 | echo "Error: This script needs to be sourced. Please run as '. $0'" |
39 | exit 1 | 39 | exit 1 |
40 | fi | 40 | fi |