From 97f23095eb6b0b16456955df4c3b985b9b8d0d28 Mon Sep 17 00:00:00 2001
From: Fredrik Fornwall <fredrik@fornwall.net>
Date: Tue, 26 Jul 2016 09:06:39 -0400
Subject: [PATCH] Fix NDK version in setup-android-sdk.sh

---
 scripts/setup-android-sdk.sh | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/scripts/setup-android-sdk.sh b/scripts/setup-android-sdk.sh
index e648cfcc7..43dea67cd 100755
--- a/scripts/setup-android-sdk.sh
+++ b/scripts/setup-android-sdk.sh
@@ -30,11 +30,12 @@ if [ ! -d $NDK ]; then
 	mkdir -p $NDK
 	cd $NDK/..
 	rm -Rf `basename $NDK`
-	curl --fail --retry 3 -o ndk.zip http://dl.google.com/android/repository/android-ndk-r12b-`uname`-x86_64.zip
+	NDK_VERSION=r12b
+	curl --fail --retry 3 -o ndk.zip http://dl.google.com/android/repository/android-ndk-${NDK_VERSION}-`uname`-x86_64.zip
 
-	rm -Rf android-ndk-r12
+	rm -Rf android-ndk-$NDK_VERSION
 	unzip -q ndk.zip
-	mv android-ndk-r12 `basename $NDK`
+	mv android-ndk-$NDK_VERSION `basename $NDK`
 	rm ndk.zip
 fi