blob: 95142dca09eb8c709bdeeeb6bb8b080ebd9a2126 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
@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
if not defined BUILD_ALT_DIR goto :ddk_not_set
if not defined _BUILDARCH goto :ddk_not_set
if not defined DDKBUILDENV goto :ddk_not_set
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%%, %%_BUILDARCH%% or %%DDKBUILDENV%% 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
|
