From 9ab7adcfbb432bd1cead18d27754afd6320e67a6 Mon Sep 17 00:00:00 2001
From: Marcus Hoffmann <bubu@bubu1.eu>
Date: Tue, 26 Jun 2018 15:20:04 +0200
Subject: [PATCH] makebuildserver: upgrade ndk r17 to r17b

---
 makebuildserver | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/makebuildserver b/makebuildserver
index 83ad9b75..172dcf7b 100755
--- a/makebuildserver
+++ b/makebuildserver
@@ -374,8 +374,8 @@ cachefiles = [
      'f01788946733bf6294a36727b99366a18369904eb068a599dde8cca2c1d2ba3c'),
     ('https://dl.google.com/android/repository/android-ndk-r16b-linux-x86_64.zip',
      'bcdea4f5353773b2ffa85b5a9a2ae35544ce88ec5b507301d8cf6a76b765d901'),
-    ('https://dl.google.com/android/repository/android-ndk-r17-linux-x86_64.zip',
-     'ba3d813b47de75bc32a2f3de087f72599c6cb36fdc9686b96f517f5492ff43ca'),
+    ('https://dl.google.com/android/repository/android-ndk-r17b-linux-x86_64.zip',
+     '5dfbbdc2d3ba859fed90d0e978af87c71a91a5be1f6e1c40ba697503d48ccecd'),
 ]