X-Git-Url: https://git.ao2.it/android/android-app-development-getting-started.git/blobdiff_plain/9354fc104e07d2754593e22a4f4cb3a6bc344400..b1642210516b6aeb2762d6811506f4fb6d66c24c:/setenv

diff --git a/setenv b/setenv
index e5c51a5..b9a1569 100644
--- a/setenv
+++ b/setenv
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-[ "$0" = "$(basename $SHELL)" ] || { echo "This script is meant to be sourced, not executed" 1>&2; exit 1; }
+[ "${0#-}" = "$(basename $SHELL)" ] || { echo "This script is meant to be sourced, not executed" 1>&2; exit 1; }
 
 export ANDROID_HOME=$HOME/Android/android-sdk-linux
 export PATH=$PATH:$ANDROID_HOME/platform-tools:$ANDROID_HOME/tools