diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2017-04-27 19:19:56 +0300 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2017-04-27 19:19:56 +0300 |
| commit | 974bd0388994715b4fa35ac54986e3c1ed4e3f55 (patch) | |
| tree | 53b23c15bde662804ecb7ef8f54026ff883a7cc2 /check_ddk.bat | |
| parent | sysenter: add missing configurations to solution (diff) | |
| download | windows7-drivers-974bd0388994715b4fa35ac54986e3c1ed4e3f55.tar.gz windows7-drivers-974bd0388994715b4fa35ac54986e3c1ed4e3f55.zip | |
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/
Diffstat (limited to 'check_ddk.bat')
| -rw-r--r-- | check_ddk.bat | 38 |
1 files changed, 0 insertions, 38 deletions
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 <Egor.Tensin@gmail.com> -@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 |