all: add NDK r12b and set it as default

[fdroidserver.git] / makebuildserver

diff --git a/makebuildserver b/makebuildserver
index 62fee88deb5decbe818df6bd0f96b76515dc5064..439910cf7c403d5210695e3d45fcc35295cbf3a3 100755 (executable)
--- a/makebuildserver
+++ b/makebuildserver
@@ -244,6 +244,8 @@ cachefiles = [
      '8956e9efeea95f49425ded8bb697013b66e162b064b0f66b5c75628f76e0f532'),
     ('https://dl.google.com/android/ndk/android-ndk-r9b-linux-x86_64-legacy-toolchains.tar.bz2',
      'de93a394f7c8f3436db44568648f87738a8d09801a52f459dcad3fc047e045a1'),
+    ('https://dl.google.com/android/repository/android-ndk-r12b-linux-x86_64.zip',
+     'eafae2d614e5475a3bcfd7c5f201db5b963cc1290ee3e8ae791ff0c66757781e'),
 ]
 
 
@@ -306,6 +308,7 @@ for srcurl, shasum in cachefiles:
         print("\t...shasum verified for " + local_filename)
     else:
         print("Invalid shasum of '" + v + "' detected for " + local_filename)
+        os.remove(local_filename)
         sys.exit(1)
 
 # use VirtualBox software virtualization if hardware is not available,