From f4cc63c711e69d2e07319d29b6f472c3128e3544 Mon Sep 17 00:00:00 2001 From: Bruno BELANYI Date: Tue, 28 Nov 2023 14:39:48 +0000 Subject: [PATCH] home: direnv: remove 'ANDROID_SDK_HOME' Turns out this is supposed to be used for configuration, and it makes some tools error out due to a sanity check... I'm not pleased about this, but whatever. --- modules/home/direnv/lib/android.sh | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/modules/home/direnv/lib/android.sh b/modules/home/direnv/lib/android.sh index 3f730c2..fa2f856 100644 --- a/modules/home/direnv/lib/android.sh +++ b/modules/home/direnv/lib/android.sh @@ -47,10 +47,9 @@ use_android() { esac done - export ANDROID_SDK_HOME="$ANDROID_HOME" export ANDROID_NDK_HOME="$ANDROID_HOME/ndk/$ndk_version" export ANDROID_ROOT="$ANDROID_HOME" - export ANDROID_SDK_ROOT="$ANDROID_SDK_HOME" + export ANDROID_SDK_ROOT="$ANDROID_HOME" export ANDROID_NDK_ROOT="$ANDROID_NDK_HOME" PATH_add "$ANDROID_NDK_HOME"