From 0e68971eef6341dd4496c70f21c7cc80e2d289a9 Mon Sep 17 00:00:00 2001
From: Marcus Hoffmann <bubu@bubu1.eu>
Date: Thu, 25 Jan 2018 14:09:16 +0100
Subject: [PATCH] makebuildserver: re-add platform 27

Closes #445
---
 makebuildserver | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/makebuildserver b/makebuildserver
index 78177f17..de4289ca 100755
--- 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',