diff options
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 |