From 83b6770021e30f112d148dc55a14cf647070fe05 Mon Sep 17 00:00:00 2001
From: Sander van Grieken <sander@outrightsolutions.nl>
Date: Wed, 22 Apr 2026 11:26:06 +0200
Subject: [PATCH] android: remove unneeded dl-ndk-ci.sh

---
 contrib/android/dl-ndk-ci.sh | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100755 contrib/android/dl-ndk-ci.sh

diff --git a/contrib/android/dl-ndk-ci.sh b/contrib/android/dl-ndk-ci.sh
deleted file mode 100755
index 41b1922f2..000000000
--- a/contrib/android/dl-ndk-ci.sh
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/bin/sh
-if [ -z "$1" ]; then
-  echo "missing url"
-  exit 1
-fi
-echo $1
-
-curl $1 | grep "var JSVariables" | python3 -c "import sys; line=sys.stdin.read(); line=line[line.find('{'):-2]; import json; j=json.loads(line); print(j['artifactUrl'])" | wget -i - -O android-ndk-ci-linux-x86_64.zip