From 6274dd3598f8d4d7d814b35c8039ab2f21c7fa59 Mon Sep 17 00:00:00 2001 From: Frank Denis Date: Tue, 28 Dec 2021 22:37:53 +0100 Subject: [PATCH] The Android NDK cannot target API level 16 any more; bump to 19 --- dist-build/android-build.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/dist-build/android-build.sh b/dist-build/android-build.sh index 8d95dbb7..6c0535fd 100755 --- a/dist-build/android-build.sh +++ b/dist-build/android-build.sh @@ -1,7 +1,7 @@ #! /bin/sh if [ -z "$NDK_PLATFORM" ]; then - export NDK_PLATFORM="android-16" + export NDK_PLATFORM="android-19" fi export NDK_PLATFORM_COMPAT="${NDK_PLATFORM_COMPAT:-${NDK_PLATFORM}}" export NDK_API_VERSION=$(echo "$NDK_PLATFORM" | sed 's/^android-//') @@ -18,7 +18,7 @@ if [ ! -f ./configure ]; then exit 1 fi -if [ "x$TARGET_ARCH" = 'x' ] || [ "x$ARCH" = 'x' ] || [ "x$HOST_COMPILER" = 'x' ]; then +if [ "$TARGET_ARCH" = '' ] || [ "$ARCH" = '' ] || [ "$HOST_COMPILER" = '' ]; then echo "You shouldn't use android-build.sh directly, use android-[arch].sh instead" >&2 exit 1 fi