Fix NDK version in setup-android-sdk.sh

diff --git a/scripts/setup-android-sdk.sh b/scripts/setup-android-sdk.sh
index e648cfcc70c31403d6e666d6ec0880b63b3dd65c..43dea67cdd3425793259b380098fc27fb7896612 100755 (executable)
--- 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