diff options
Diffstat (limited to 'check_env.bat')
-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 |