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