From 116d1ede0cc0d5d57f593264251668531252c74b Mon Sep 17 00:00:00 2001 From: Egor Tensin Date: Wed, 6 May 2015 22:22:41 +0300 Subject: initial commit --- check_env.bat | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 check_env.bat (limited to 'check_env.bat') 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 -- cgit v1.2.3