From a1ea29c86bfde11cbec4c8f5a986c8d3feb439b5 Mon Sep 17 00:00:00 2001
From: Marcus Hoffmann <bubu@bubu1.eu>
Date: Wed, 4 Jul 2018 14:30:15 +0200
Subject: [PATCH] ndk17: add to extract whitelist

---
 buildserver/provision-android-ndk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/buildserver/provision-android-ndk b/buildserver/provision-android-ndk
index 8e9724bc..7a78d845 100644
--- a/buildserver/provision-android-ndk
+++ b/buildserver/provision-android-ndk
@@ -14,7 +14,7 @@ if [ ! -e $NDK_BASE/r10e ]; then
     mv android-ndk-r10e r10e
 fi
 
-for version in r11c r12b r13b r14b r15c r16b; do
+for version in r11c r12b r13b r14b r15c r16b r17b; do
     if [ ! -e ${NDK_BASE}/${version} ]; then
         unzip /vagrant/cache/android-ndk-${version}-linux-x86_64.zip > /dev/null
         mv android-ndk-${version} ${version}