From 5adedac314db827d9eb5b773c2209e49199a1a85 Mon Sep 17 00:00:00 2001
From: Eric House <eehouse@eehouse.org>
Date: Fri, 9 Feb 2024 14:53:43 -0800
Subject: [PATCH] fix script to delete build dir

---
 xwords4/android/scripts/build-debug.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/xwords4/android/scripts/build-debug.sh b/xwords4/android/scripts/build-debug.sh
index af0fcd61d..fd0d4e574 100755
--- a/xwords4/android/scripts/build-debug.sh
+++ b/xwords4/android/scripts/build-debug.sh
@@ -47,7 +47,7 @@ else
 fi
 
 popd
-if [ -s "${NO_RM}" ]; then
+if [ -z "${NO_RM}" ]; then
 	rm -rf $DIR
 else
 	echo "not removing: $DIR"