setup-android-sdk.sh: Update from NDK r15 to r15b

diff --git a/scripts/setup-android-sdk.sh b/scripts/setup-android-sdk.sh
index 3152a7136593c4ade513d50c7fad513f642a0aa3..283f635c9a00f42842def78f940c3d54e4f0c58f 100755 (executable)
--- a/scripts/setup-android-sdk.sh
+++ b/scripts/setup-android-sdk.sh
@@ -25,7 +25,7 @@ if [ ! -d $NDK ]; then
        mkdir -p $NDK
        cd $NDK/..
        rm -Rf `basename $NDK`
        mkdir -p $NDK
        cd $NDK/..
        rm -Rf `basename $NDK`

-       NDK_VERSION=r15
+       NDK_VERSION=r15b

        curl --fail --retry 3 -o ndk.zip \
                http://dl.google.com/android/repository/android-ndk-${NDK_VERSION}-`uname`-x86_64.zip
 
        curl --fail --retry 3 -o ndk.zip \
                http://dl.google.com/android/repository/android-ndk-${NDK_VERSION}-`uname`-x86_64.zip