Revert "all: add NDK r12b and set it as default"

[fdroidserver.git] / buildserver / provision-android-ndk

diff --git a/buildserver/provision-android-ndk b/buildserver/provision-android-ndk
index 4c4f0d54b4817432cb9a2d01ec231bfc709f7d91..36aa1a5c9e03f724bacd9bb0e8ef6ebe31e08339 100644 (file)
--- a/buildserver/provision-android-ndk
+++ b/buildserver/provision-android-ndk
@@ -20,10 +20,5 @@ if [ ! -e $NDK_BASE/r10e ]; then
     mv android-ndk-r10e r10e
 fi
 
-if [ ! -e $NDK_BASE/r12b ]; then
-    7zr x /vagrant/cache/android-ndk-r12b-linux-x86_64.bin > /dev/null
-    mv android-ndk-r12b r12b
-fi
-
 chmod -R a+rX $NDK_BASE/
 find $NDK_BASE/ -type f -executable -print0 | xargs -0 chmod a+x