1@echo off 2rem This is a Windows cmd.exe script used to invoke the NDK-specific GNU Make executable 3set NDK_ROOT=%~dp0 4set NDK_MAKE=%NDK_ROOT%\prebuilt\windows-x86_64\bin\make.exe 5 6rem Check if %NDK_ROOT% contains space 7goto :L 8:FOO 9 if "%2"=="" goto:EOF 10 echo ERROR: NDK path cannot contain space! 11 exit /b 1 12 13:L 14call :FOO %NDK_ROOT% 15if ERRORLEVEL 1 exit /b 1 16 17rem Check if NDK_HOST_32BIT is not set to 1/true, Windows is 64-bit, and 64-bit make exists 18if "%NDK_HOST_32BIT%"=="1" set NDK_MAKE= 19if "%NDK_HOST_32BIT%"=="true" set NDK_MAKE= 20if not exist "%NDK_MAKE%" set NDK_MAKE= 21if "%ProgramW6432%"=="" set NDK_MAKE= 22 23rem Otherwise fall back to 32-bit make 24if "%NDK_MAKE%"=="" set NDK_MAKE=%NDK_ROOT%\prebuilt\windows\bin\make.exe 25 26%NDK_MAKE% -f %NDK_ROOT%build/core/build-local.mk SHELL=cmd %* 27