makebuildserver: remove NDK r9b to save 1.6 GB of disk space

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

diff --git a/buildserver/config.buildserver.py b/buildserver/config.buildserver.py
index 3cefcb8d4b2d0e7ce4dccad4f14ef674af662074..42c21a8a7f1b5893d1e64fcd4cf7a8f7636533fe 100644 (file)
--- a/buildserver/config.buildserver.py
+++ b/buildserver/config.buildserver.py
@@ -1,6 +1,5 @@
 sdk_path = "/home/vagrant/android-sdk"
 ndk_paths = {
-    'r9b': "/home/vagrant/android-ndk/r9b",
     'r10e': "/home/vagrant/android-ndk/r10e",
     'r11c': "/home/vagrant/android-ndk/r11c",
     'r12b': "/home/vagrant/android-ndk/r12b",