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 d9a6713..df53284 100755 --- a/scripts/setup-environment.sh +++ b/scripts/setup-environment.sh | |||
@@ -44,7 +44,7 @@ done | |||
44 | THIS_SCRIPT="setup-environment.sh" | 44 | THIS_SCRIPT="setup-environment.sh" |
45 | if [ "$(basename -- $0)" = "${THIS_SCRIPT}" ]; then | 45 | if [ "$(basename -- $0)" = "${THIS_SCRIPT}" ]; then |
46 | echo "Error: This script needs to be sourced. Please run as '. $0'" | 46 | echo "Error: This script needs to be sourced. Please run as '. $0'" |
47 | exit 1 | 47 | return 1 |
48 | fi | 48 | fi |
49 | 49 | ||
50 | if [ -z "$MACHINE" ]; then | 50 | if [ -z "$MACHINE" ]; then |