diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2017-04-28 04:13:07 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2017-04-28 04:13:07 +0300 |
| commit | 93b4a8271a58fa8ee1261d541ae1eeb45a954711 (patch) | |
| tree | 7a11756190918aeba473246e135e454577fdbe41 /km/build/wdk7.1/check_env.bat | |
| parent | README updates (diff) | |
| download | windows7-drivers-93b4a8271a58fa8ee1261d541ae1eeb45a954711.tar.gz windows7-drivers-93b4a8271a58fa8ee1261d541ae1eeb45a954711.zip | |
build/wdk7.1: refactoring
Diffstat (limited to '')
| -rw-r--r-- | km/build/wdk7.1/check_env.bat | 17 |
1 files changed, 12 insertions, 5 deletions
diff --git a/km/build/wdk7.1/check_env.bat b/km/build/wdk7.1/check_env.bat index f3cb382..5a73d5f 100644 --- a/km/build/wdk7.1/check_env.bat +++ b/km/build/wdk7.1/check_env.bat @@ -6,13 +6,20 @@ @setlocal enabledelayedexpansion @echo off -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 +call check_ddk.bat || exit /b !errorlevel! + +if not defined proj_build_dir goto :env_not_set +if not defined proj_bin_dir goto :env_not_set +if not defined proj_lib_dir goto :env_not_set +if not defined proj_src_dir goto :env_not_set + +if not exist "%proj_build_dir%\sign.bat" ( + echo Error: %proj_build_dir%\sign.bat was not found ^(don^'t know how to sign drivers otherwise^) >&2 + exit /b 1 +) exit /b 0 :env_not_set -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 +echo Error: either %%proj_build_dir%%, %%proj_bin_dir%%, %%proj_lib_dir%% or %%proj_src_dir%% are not set ^(have set up the build environment using setenv.bat?^) >&2 exit /b 1 |