Add ndk r11c

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

diff --git a/buildserver/provision-android-ndk b/buildserver/provision-android-ndk
index ce1a8683bc8f46039cc34f5007e822639d12c6ee..215f01399032be6360ef526a1d295511e0118b67 100644 (file)
--- a/buildserver/provision-android-ndk
+++ b/buildserver/provision-android-ndk
@@ -20,6 +20,11 @@ if [ ! -e $NDK_BASE/r10e ]; then
     mv android-ndk-r10e r10e
 fi
 
+if [ ! -e $NDK_BASE/r11c ]; then
+    unzip /vagrant/cache/android-ndk-r11c-linux-x86_64.zip > /dev/null
+    mv android-ndk-r11c r11c
+fi
+
 if [ ! -e $NDK_BASE/r12b ]; then
     unzip /vagrant/cache/android-ndk-r12b-linux-x86_64.zip > /dev/null
     mv android-ndk-r12b r12b