blob: 3dde082cc0bae03dfde5aec3812728918cac63e0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
@echo off
if "!%SYSROOT%!"=="!!" goto sysroot_missing
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
|
