makebuildserver: add NDK r15b

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

diff --git a/buildserver/provision-android-ndk b/buildserver/provision-android-ndk
index 378ce53a47e18a816e6b3aa5511f1e739f8764c3..de6943b49c1389caa5bb8ad6fabe17eed7f6ef9f 100644 (file)
--- a/buildserver/provision-android-ndk
+++ b/buildserver/provision-android-ndk
@@ -40,5 +40,10 @@ if [ ! -e $NDK_BASE/r14b ]; then
     mv android-ndk-r14b r14b
 fi
 
+if [ ! -e $NDK_BASE/r15b ]; then
+    unzip /vagrant/cache/android-ndk-r15b-linux-x86_64.zip > /dev/null
+    mv android-ndk-r15b r15b
+fi
+
 chmod -R a+rX $NDK_BASE/
 find $NDK_BASE/ -type f -executable -print0 | xargs -0 chmod a+x