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