diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2015-05-06 22:22:41 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2015-05-06 22:22:41 +0300 |
| commit | 116d1ede0cc0d5d57f593264251668531252c74b (patch) | |
| tree | ab4618829e4ab95e231e059133b8b7d1533ab6c2 /check_env.bat | |
| download | windows7-drivers-116d1ede0cc0d5d57f593264251668531252c74b.tar.gz windows7-drivers-116d1ede0cc0d5d57f593264251668531252c74b.zip | |
initial commit
Diffstat (limited to '')
| -rw-r--r-- | check_env.bat | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/check_env.bat b/check_env.bat new file mode 100644 index 0000000..15271ec --- /dev/null +++ b/check_env.bat @@ -0,0 +1,13 @@ +@setlocal enabledelayedexpansion +@echo off + +if [%root%] == [] goto :env_not_set +if [%bin_root%] == [] goto :env_not_set +if [%lib_root%] == [] goto :env_not_set +if [%src_root%] == [] goto :env_not_set + +exit /b 0 + +:env_not_set +echo Error: either %%root%%, %%bin_root%%, %%lib_root%% or %%src_root%% are not set ^(perhaps you forgot to call setenv.bat^) +exit /b 1 |