@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