blob: 32aa371dc92bcc3ea24a9c7832b8c110f181f0e6 (
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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
@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
|
