@echo off
if "!%SYSROOT%!"=="!!" goto sysroot_missing
if "!%SYSROOT%!"=="!@SYSROOT@!" goto sysroot_invalid
pushd "%~dp0"
set shell_sysroot=%cd%
echo.
echo !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
echo this is the @product@ installation script
echo SYSROOT currently set to %SYSROOT%
echo shell_sysroot set to %shell_sysroot%
echo press any key to continue with installation, or CTRL-C to abort
echo !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
echo.
@pause
start bin\ntctty.exe --sysroot %shell_sysroot% --exec /bin/mintty -d -h always --window max --exec /bin/bash install.sh
popd
exit
:sysroot_missing
echo.
echo !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
echo this is the @product@ installation script
echo SYSROOT not set! Will do nothing...
echo !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
echo.
@pause
exit /B 1
:sysroot_invalid
echo.
echo !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
echo this is the @product@ installation script
echo SYSROOT is invalid! Will do nothing...
echo !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
echo.
@pause
exit /B 1