makebuildserver: add NDK r15b

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

diff --git a/buildserver/config.buildserver.py b/buildserver/config.buildserver.py
index b0216ed4de057bde96a070276e4bf6321166029c..eded3c8d8398448054b2564c1975cbf4e746e59c 100644 (file)
--- a/buildserver/config.buildserver.py
+++ b/buildserver/config.buildserver.py
@@ -6,6 +6,7 @@ ndk_paths = {
     'r12b': "/home/vagrant/android-ndk/r12b",
     'r13b': "/home/vagrant/android-ndk/r13b",
     'r14b': "/home/vagrant/android-ndk/r14b",
+    'r15b': "/home/vagrant/android-ndk/r15b",
 }
 qt_sdk_path = "/home/vagrant/qt-sdk/5.7.0/5.7"
 java_paths = {