From b4f1449d898a8da5dae3ef02697d447811c3b30b Mon Sep 17 00:00:00 2001 From: Frank Denis Date: Thu, 20 Feb 2025 15:26:05 +0100 Subject: [PATCH] should -> must --- dist-build/android-aar.sh | 3 +-- dist-build/android-build.sh | 3 +-- 2 files changed, 2 insertions(+), 4 deletions(-) diff --git a/dist-build/android-aar.sh b/dist-build/android-aar.sh index 91bf4938..fb3a57f3 100755 --- a/dist-build/android-aar.sh +++ b/dist-build/android-aar.sh @@ -7,8 +7,7 @@ SODIUM_VERSION="1.0.20.0" if [ -z "$ANDROID_NDK_HOME" ]; then - echo "You should probably set ANDROID_NDK_HOME to the directory containing" - echo "the Android NDK." + echo "ANDROID_NDK_HOME must be set to the directory containing the Android NDK." exit 1 fi diff --git a/dist-build/android-build.sh b/dist-build/android-build.sh index daa0555c..c6f79aa2 100755 --- a/dist-build/android-build.sh +++ b/dist-build/android-build.sh @@ -10,8 +10,7 @@ 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" - echo "the Android NDK." + echo "ANDROID_NDK_HOME must be set to the directory containing the Android NDK." exit 1 fi