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

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

diff --git a/buildserver/config.buildserver.py b/buildserver/config.buildserver.py
index 57ae0b2b6e5e8a52ea56d48d64fcc4f26823ce29..50976dbe9ba8302061593451c6e3b312072e9b69 100644 (file)
--- a/buildserver/config.buildserver.py
+++ b/buildserver/config.buildserver.py
@@ -2,7 +2,6 @@ sdk_path = "/home/vagrant/android-sdk"
 ndk_paths = {
     'r9b': "/home/vagrant/android-ndk/r9b",
     'r10e': "/home/vagrant/android-ndk/r10e",
-    'r12b': "/home/vagrant/android-ndk/r12b",
 }
 java_paths = {
     '8': "/usr/lib/jvm/java-8-openjdk-i386",