diff options
| author | midipix <writeonce@midipix.org> | 2018-05-10 14:21:56 +0000 |
|---|---|---|
| committer | midipix <writeonce@midipix.org> | 2018-05-16 04:45:11 -0400 |
| commit | b864e26805bc9d552f7bc1415a1e0e5db0ad1555 (patch) | |
| tree | 629fd5d076f50f660c26b90a6077e3501f9b4608 | |
| parent | 95f189b6e654562b671b3f828a20dcdc903c3b30 (diff) | |
| download | mpackage-b864e26805bc9d552f7bc1415a1e0e5db0ad1555.tar.bz2 mpackage-b864e26805bc9d552f7bc1415a1e0e5db0ad1555.tar.xz | |
install.bat: verify that SYSROOT is set.
| -rwxr-xr-x | once/install.bat | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/once/install.bat b/once/install.bat index 7d9a8cd..3dde082 100755 --- a/once/install.bat +++ b/once/install.bat @@ -1,5 +1,7 @@ @echo off +if "!%SYSROOT%!"=="!!" goto sysroot_missing + pushd "%~dp0" set shell_sysroot=%cd% @@ -20,3 +22,16 @@ start bin\ntctty.exe --sysroot %shell_sysroot% --exec /bin/mintty -d -h always - 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 |