From c67cdc6440604c84005868a90c83b27336a219e8 Mon Sep 17 00:00:00 2001
From: "K. Shankari" <shankari@eecs.berkeley.edu>
Date: Fri, 10 Feb 2023 19:48:23 -0800
Subject: [PATCH] Ensure that the activate script doesn't crash when the
 ANDROID_SDK_ROOT and ANDROID_HOME are not set

Because if we do `exit 1` and then `source setup/activate_native.sh` then the
bash terminal dies
---
 setup/activate_native.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/setup/activate_native.sh b/setup/activate_native.sh
index c0b8eb6e3..c1014c987 100644
--- a/setup/activate_native.sh
+++ b/setup/activate_native.sh
@@ -8,7 +8,6 @@ echo "Verifying $ANDROID_HOME or $ANDROID_SDK_ROOT is set"
 if [ -z $ANDROID_HOME ] && [ -z $ANDROID_SDK_ROOT ];
 then
     echo "ANDROID_HOME and ANDROID_SDK_ROOT not set, android SDK not found"
-    exit 1
 fi
 
 echo "Activating sdkman, and by default, gradle"