aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/check_ddk.bat
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--check_ddk.bat5
1 files changed, 0 insertions, 5 deletions
diff --git a/check_ddk.bat b/check_ddk.bat
index 2ddc666..00d5bfb 100644
--- a/check_ddk.bat
+++ b/check_ddk.bat
@@ -18,7 +18,6 @@ if not exist %root%\sign.bat (
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
@@ -36,7 +35,3 @@ 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