diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2015-05-07 18:57:00 +0300 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2015-05-07 18:57:00 +0300 |
commit | 3882aeb74840f5cc2cfb62df6f4de55b3cd8a501 (patch) | |
tree | fc981ff366b9be490ada187461a505073cf43d9d | |
parent | sign.bat: fail gracefully if the DDK's not present (diff) | |
download | windows7-drivers-3882aeb74840f5cc2cfb62df6f4de55b3cd8a501.tar.gz windows7-drivers-3882aeb74840f5cc2cfb62df6f4de55b3cd8a501.zip |
check_ddk.bat: ensure cert utils are present
-rw-r--r-- | check_ddk.bat | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/check_ddk.bat b/check_ddk.bat index 6e810ac..2ddc666 100644 --- a/check_ddk.bat +++ b/check_ddk.bat @@ -15,7 +15,10 @@ if not exist %root%\sign.bat ( exit /b 1 ) -where build.exe >nul || goto :build_not_found +where build.exe >nul 2>&1 || goto :build_not_found +where signtool.exe >nul 2>&1 || goto :signtool_not_found +where makecert.exe >nul 2>&1 || goto :makecert_not_found +where certmgr.exe >nul 2>&1 || goto :certmgr_not_found exit /b 0 :ddk_not_set @@ -25,3 +28,15 @@ exit /b 1 :build_not_found echo Error: build.exe not found ^(perhaps you forgot to set up the WinDDK environment^) exit /b 1 + +:signtool_not_found +echo Error: signtool.exe not found ^(perhaps you forgot to set up the WinDDK environment^) +exit /b 1 + +:makecert_not_found +echo Error: makecert.exe not found ^(perhaps you forgot to set up the WinDDK environment^) +exit /b 1 + +:certmgr_not_found +echo Error: certmgr.exe not found ^(perhaps you forgot to set up the WinDDK environment^) +exit /b 1 |