use tools/bin/sdkmanager (without the ".bat") as fallback Android SDK manager

Axel Uhl commited 2026-02-17 13:23:29 +0100 commit 48886b1ca35ac5cf6cc829c1d1a69f7f156cc101

				configuration/buildAndUpdateProduct.sh
			
          @@ -671,7 +671,7 @@ if [[ "$@" == "build" ]] || [[ "$@" == "all" ]]; then

                   PATH=$PATH:$ANDROID_HOME/platform-tools

                   SDK_MANAGER="$ANDROID_HOME/cmdline-tools/8.0/bin/sdkmanager"

                   if [ \! -x "$SDK_MANAGER" ]; then

          -            SDK_MANAGER="$ANDROID_HOME/tools/bin/sdkmanager.bat"

          +            SDK_MANAGER="$ANDROID_HOME/tools/bin/sdkmanager"

                   fi

                   echo "SDK_MANAGER=${SDK_MANAGER}"

                   echo "cmdline-tools:"

...	...	@@ -671,7 +671,7 @@ if [[ "$@" == "build" ]] \|\| [[ "$@" == "all" ]]; then
671	671	PATH=$PATH:$ANDROID_HOME/platform-tools
672	672	SDK_MANAGER="$ANDROID_HOME/cmdline-tools/8.0/bin/sdkmanager"
673	673	if [ \! -x "$SDK_MANAGER" ]; then
674		- SDK_MANAGER="$ANDROID_HOME/tools/bin/sdkmanager.bat"
	674	+ SDK_MANAGER="$ANDROID_HOME/tools/bin/sdkmanager"
675	675	fi
676	676	echo "SDK_MANAGER=${SDK_MANAGER}"
677	677	echo "cmdline-tools:"