chiark / gitweb /
makebuildserver: remove NDK r9b to save 1.6 GB of disk space
[fdroidserver.git] / fdroidserver / common.py
index d97cede329c2a5e8c7a250b59b601a350bbcaba6..391825e8c93fb1c6c1ebc5f240cf4bb54ddd990f 100644 (file)
@@ -77,7 +77,6 @@ orig_path = None
 default_config = {
     'sdk_path': "$ANDROID_HOME",
     'ndk_paths': {
-        'r9b': None,
         'r10e': None,
         'r11c': None,
         'r12b': "$ANDROID_NDK",