Re-add NDK r12b, now fixed.

[fdroidserver.git] / buildserver / config.buildserver.py

diff --git a/buildserver/config.buildserver.py b/buildserver/config.buildserver.py
index 67079769c20d9f49a6f8944de6308f7f01c097de..57ae0b2b6e5e8a52ea56d48d64fcc4f26823ce29 100644 (file)
--- a/buildserver/config.buildserver.py
+++ b/buildserver/config.buildserver.py
@@ -1,9 +1,9 @@
 sdk_path = "/home/vagrant/android-sdk"
 ndk_paths = {
     'r9b': "/home/vagrant/android-ndk/r9b",
-    'r10d': "/home/vagrant/android-ndk/r10d"
+    'r10e': "/home/vagrant/android-ndk/r10e",
+    'r12b': "/home/vagrant/android-ndk/r12b",
+}
+java_paths = {
+    '8': "/usr/lib/jvm/java-8-openjdk-i386",
 }
-build_tools = "22.0.0"
-ant = "ant"
-mvn3 = "mvn"
-gradle = "gradle"