diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2015-05-06 22:22:41 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2015-05-06 22:22:41 +0300 |
| commit | 116d1ede0cc0d5d57f593264251668531252c74b (patch) | |
| tree | ab4618829e4ab95e231e059133b8b7d1533ab6c2 /check_ddk.bat | |
| download | windows7-drivers-116d1ede0cc0d5d57f593264251668531252c74b.tar.gz windows7-drivers-116d1ede0cc0d5d57f593264251668531252c74b.zip | |
initial commit
Diffstat (limited to 'check_ddk.bat')
| -rw-r--r-- | check_ddk.bat | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/check_ddk.bat b/check_ddk.bat new file mode 100644 index 0000000..d04f8b5 --- /dev/null +++ b/check_ddk.bat @@ -0,0 +1,23 @@ +@setlocal enabledelayedexpansion +@echo off + +call check_env.bat || exit /b !errorlevel! + +if [%BUILD_ALT_DIR%] == [] goto :ddk_not_set +if [%_BUILDARCH%] == [] goto :ddk_not_set + +if not exist %root%\sign.bat ( + echo Error: %solution_root%\sign.bat is missing ^(don^'t know how to sign drivers^) + exit /b 1 +) + +where build.exe >nul || goto :build_not_found +exit /b 0 + +:ddk_not_set +echo Error: either %%BUILD_ALT_DIR%% or %%_BUILDARCH%% are not set ^(perhaps you forgot to set up the WinDDK environment^) +exit /b 1 + +:build_not_found +echo Error: build.exe not found ^(perhaps you forgot to set up the WinDDK environment^) +exit /b 1 |