From 2757bd209327a54074b4f2c3302749dc16d046a5 Mon Sep 17 00:00:00 2001
From: Marcus Hoffmann <bubu@bubu1.eu>
Date: Wed, 27 Jun 2018 16:45:42 +0200
Subject: [PATCH 1/2] buildserver config: add ndk r17b entry

---
 buildserver/config.buildserver.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/buildserver/config.buildserver.py b/buildserver/config.buildserver.py
index 0b0c593f..d2d8cd40 100644
--- a/buildserver/config.buildserver.py
+++ b/buildserver/config.buildserver.py
@@ -7,6 +7,7 @@ ndk_paths = {
     'r14b': "/home/vagrant/android-ndk/r14b",
     'r15c': "/home/vagrant/android-ndk/r15c",
     'r16b': "/home/vagrant/android-ndk/r16b",
+    'r17b': "/home/vagrant/android-ndk/r17b",
 }
 java_paths = {
     '8': "/usr/lib/jvm/java-8-openjdk-amd64",

From b3bfb3ac21edd6747b5e9ecfa62e051a4d17f2ec Mon Sep 17 00:00:00 2001
From: Marcus Hoffmann <bubu@bubu1.eu>
Date: Wed, 27 Jun 2018 16:46:38 +0200
Subject: [PATCH 2/2] examples/config.py: add ndk r17b entry

---
 examples/config.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/examples/config.py b/examples/config.py
index 76a9a9f9..b0395fa0 100644
--- a/examples/config.py
+++ b/examples/config.py
@@ -18,6 +18,7 @@
 #     'r14b': None,
 #     'r15c': None,
 #     'r16b': None,
+#     'r17b': None,
 # }
 
 # java_paths = {