From c72dce4075cda202a98f91028ca6a4a86e361718 Mon Sep 17 00:00:00 2001 From: Frank Denis Date: Tue, 28 Dec 2021 22:39:18 +0100 Subject: [PATCH] androit-build: add extra quotes --- 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 6c0535fd..3a80d8f4 100755 --- a/dist-build/android-build.sh +++ b/dist-build/android-build.sh @@ -4,8 +4,8 @@ if [ -z "$NDK_PLATFORM" ]; then 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-//') -export NDK_API_VERSION_COMPAT=$(echo "$NDK_PLATFORM_COMPAT" | sed 's/^android-//') +export NDK_API_VERSION="$(echo "$NDK_PLATFORM" | sed 's/^android-//')" +export NDK_API_VERSION_COMPAT="$(echo "$NDK_PLATFORM_COMPAT" | sed 's/^android-//')" if [ -z "$ANDROID_NDK_HOME" ]; then echo "You should probably set ANDROID_NDK_HOME to the directory containing"