Add some log lines for NDK checking

Author: finagolfin

.github/workflows/scripts/install-and-build-with-sdk.sh

@@ -655,12 +655,14 @@ install_android_sdk() {
 
     # permit the "--android-ndk" flag to override the default
     local android_ndk_version="${ANDROID_NDK_VERSION:-r27d}"
+    log "Checking for Android NDK $android_ndk_version at $ANDROID_NDK_HOME"
 
     # Download and install the Android NDK.
     # Note that we could use the system package manager, but it is
     # named different things for different distributions
     # (e.g., "google-android-ndk-r26-installer" on Debian)
     if [[ ! -d "${ANDROID_NDK_HOME:-}" || ! $(grep "Pkg.ReleaseName = ${android_ndk_version}" "${ANDROID_NDK_HOME}/source.properties") ]]; then
+        log "Android NDK $android_ndk_version may not have matched $(grep "Pkg.ReleaseName" "$ANDROID_NDK_HOME/source.properties")"
         curl_with_retry -fsSL -o ndk.zip https://dl.google.com/android/repository/android-ndk-"${android_ndk_version}"-"$(uname -s)".zip
         command -v unzip >/dev/null || install_package unzip
         unzip -q ndk.zip