home: direnv: warn on non-existent version

2024-10-10 13:53:19 +00:00 · 2024-10-10 13:53:19 +00:00 · 8e81d148bd
parent b10d936c0a
commit 8e81d148bd
1 changed files with 6 additions and 0 deletions
--- a/modules/home/direnv/lib/android.sh
+++ b/modules/home/direnv/lib/android.sh
@ -32,10 +32,16 @@ use_android() {
            -b|--build-tools)
                build_tools_version="$2"
                shift 2
+                if ! [ -e "$ANDROID_HOME/build-tools/$build_tools_version" ]; then
+                    log_error "use_android: build-tools version '$build_tools_version' does not exist"
+                fi
                ;;
            -n|--ndk)
                ndk_version="$2"
                shift 2
+                if ! [ -e "$ANDROID_HOME/ndk/$ndk_version" ]; then
+                    log_error "use_android: NDK version '$ndk_version' does not exist"
+                fi
                ;;
            --)
                shift