From 974bd0388994715b4fa35ac54986e3c1ed4e3f55 Mon Sep 17 00:00:00 2001 From: Egor Tensin Date: Thu, 27 Apr 2017 19:19:56 +0300 Subject: reorganize files * src/ -> km/src/ * utils/ -> um/ * Move WDK 7.1-specific *.bat files to km/build/wdk7.1/ * Move WDK 8.1 Update 1 solutions to km/build/wdk8.1update/ --- check_ddk.bat | 38 -------------------------------------- 1 file changed, 38 deletions(-) delete mode 100644 check_ddk.bat (limited to 'check_ddk.bat') diff --git a/check_ddk.bat b/check_ddk.bat deleted file mode 100644 index 0c4d414..0000000 --- a/check_ddk.bat +++ /dev/null @@ -1,38 +0,0 @@ -@rem Copyright (c) 2015 Egor Tensin -@rem This file is part of the "Windows 7 drivers" project. -@rem For details, see https://github.com/egor-tensin/windows7-drivers. -@rem Distributed under the MIT License. - -@setlocal enabledelayedexpansion -@echo off - -call check_env.bat || exit /b !errorlevel! - -if not defined BUILD_ALT_DIR goto :ddk_not_set -if not defined _BUILDARCH goto :ddk_not_set - -if not exist "%root%\sign.bat" ( - echo Error: %root%\sign.bat was not found ^(don^'t know how to sign drivers otherwise^) >&2 - exit /b 1 -) - -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 -exit /b 0 - -:ddk_not_set -echo Error: either %%BUILD_ALT_DIR%% or %%_BUILDARCH%% are not set ^(have you set up the WinDDK environment?^) >&2 -exit /b 1 - -:build_not_found -echo Error: build.exe was not found ^(have you set up the WinDDK environment?^) >&2 -exit /b 1 - -:signtool_not_found -echo Error: signtool.exe was not found ^(have you set up the WinDDK environment?^) >&2 -exit /b 1 - -:makecert_not_found -echo Error: makecert.exe was not found ^(have you set up the WinDDK environment?^) >&2 -exit /b 1 -- cgit v1.2.3