From c01ba042a22861941b41af5bb3ff4c8edcdd5851 Mon Sep 17 00:00:00 2001
From: Frank Denis <github@pureftpd.org>
Date: Thu, 20 Feb 2025 15:29:58 +0100
Subject: [PATCH] Abort if NDK_PLATFORM is empty

---
 dist-build/android-build.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/dist-build/android-build.sh b/dist-build/android-build.sh
index c6f79aa2..69a6a6a0 100755
--- a/dist-build/android-build.sh
+++ b/dist-build/android-build.sh
@@ -60,6 +60,10 @@ fi
   --prefix="${PREFIX}" \
   --with-sysroot="${TOOLCHAIN_DIR}/sysroot" || exit 1
 
+if [ -z "$NDK_PLATFORM" ]; then
+  echo "Aborting"
+  exit 1
+fi
 if [ "$NDK_PLATFORM" != "$NDK_PLATFORM_COMPAT" ]; then
   grep -E '^#define ' config.log | sort -u >config-def-compat.log
   echo