@echo off if "%JAVA_HOME%"=="" ( echo Please set JAVA_HOME before running release kit goto end ) if "%RK3_HOME%"=="" ( echo Please set RK3_HOME before running release kit goto end ) set ANT_HOME=%RK3_HOME%\core\ant set CMD=cmd.exe /c %RK3_HOME%\core\ant\bin\ant.bat -f "%RK3_HOME%\ant-scripts\build.xml" -addressing "-Drk3.home=%RK3_HOME%" set CMD=%CMD% "-Dbasedir=%CD%" set PIPETO="%RK_HOME%\windows\utils\tee.exe" "%CD%\rk3.out" echo %CMD% %CMD% ::| %PIPETO% :end