diff options
Diffstat (limited to '')
-rw-r--r-- | check_ddk.bat | 5 |
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 |