makebuildserver: re-add platform 27

Closes #445

diff --git a/makebuildserver b/makebuildserver
index 78177f176eaff86fa9525af7656bedcb61f43534..de4289caf9fb3b49a3332fae67d1f14adcc34035 100755 (executable)
--- a/makebuildserver
+++ b/makebuildserver
@@ -178,6 +178,11 @@ cachefiles = [
      '9b742d34590fe73fb7229e34835ecffb1846ca389d9f924f0b2a37de525dc6b8'),
     ('https://dl.google.com/android/repository/platform-26_r02.zip',
      '2aafa7d19c5e9c4b643ee6ade3d85ef89dc2f79e8383efdb9baf7fddad74b52a'),
+    # Download platform-27 from F-Droid's server because google has two different files for that filename.
+    # For reproducibility and general sanity we chose the newer one from Nov 17.
+    # For reference the older one from Nov 8 has a sha256sum of cbba6f8fcf025e1b533326746763aa1d6e2cf4001b1b441602bb44d253bc49ac
+    ('https://verification.f-droid.org/build-metadata/96ddff1a5034fcc4340f2d482635eeaccaa6707b6b0f82d26d1435476a2f52e5/platform-27_r01.zip',
+     '96ddff1a5034fcc4340f2d482635eeaccaa6707b6b0f82d26d1435476a2f52e5'),
     ('https://dl.google.com/android/repository/build-tools_r17-linux.zip',
      '4c8444972343a19045236f6924bd7f12046287c70dace96ab88b2159c8ec0e74'),
     ('https://dl.google.com/android/repository/build-tools_r18.0.1-linux.zip',