aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorEgor Tensin <Egor.Tensin@gmail.com>2015-05-07 18:57:00 +0300
committerEgor Tensin <Egor.Tensin@gmail.com>2015-05-07 18:57:00 +0300
commit3882aeb74840f5cc2cfb62df6f4de55b3cd8a501 (patch)
treefc981ff366b9be490ada187461a505073cf43d9d
parentsign.bat: fail gracefully if the DDK's not present (diff)
downloadwindows7-drivers-3882aeb74840f5cc2cfb62df6f4de55b3cd8a501.tar.gz
windows7-drivers-3882aeb74840f5cc2cfb62df6f4de55b3cd8a501.zip
check_ddk.bat: ensure cert utils are present
-rw-r--r--check_ddk.bat17
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