diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2017-04-27 14:07:57 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2017-04-27 14:07:57 +0300 |
| commit | b137ccc9bfd96524093071f9ee75ac820b6ad903 (patch) | |
| tree | c8afdd8433b228eba636ce13b0a3be814a576d79 /check_env.bat | |
| parent | consistent indentation in *.bat files (diff) | |
| download | windows7-drivers-b137ccc9bfd96524093071f9ee75ac820b6ad903.tar.gz windows7-drivers-b137ccc9bfd96524093071f9ee75ac820b6ad903.zip | |
*.bat: bugfix & refactoring
Diffstat (limited to '')
| -rw-r--r-- | check_env.bat | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/check_env.bat b/check_env.bat index be19909..f3cb382 100644 --- a/check_env.bat +++ b/check_env.bat @@ -6,13 +6,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 +if not defined root goto :env_not_set +if not defined bin_root goto :env_not_set +if not defined lib_root goto :env_not_set +if not defined 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^) +echo Error: either %%root%%, %%bin_root%%, %%lib_root%% or %%src_root%% are not set ^(have you set up the build environment using setenv.bat?^) >&2 exit /b 1 |