1 files changed, 2 insertions, 0 deletions
diff --git a/env.sh b/env.sh
index 01baf8b491..735943788e 100755
--- a/env.sh
+++ b/env.sh
@@ -4,6 +4,8 @@ SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
 
 if [ -n "$1" ]; then
     PLATFORM="$1"
+else
+    PLATFORM=""
 fi
 
 if [ -z "$PLATFORM" ]; then