blob: c77bb924c7b7370861134158c28c894403ccc952 (
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
33
34
35
|
@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.
@echo off
set "build_root=%~dp0%"
set "root=%build_root%\..\..\.."
for /f "delims=" %%i in ("%root%") do set "root=%%~fi"
set "src_root=%root%\km\src"
set "bin_root=%root%\km\build\wdk7.1\bin"
set "lib_root=%root%\km\build\wdk7.1\lib"
set target_configuration=Release
if not defined _BUILDARCH (
echo Error: %%_BUILDARCH%% is not defined ^(have you set up the WinDDK environment?^) >&2
exit /b 1
)
if "%_BUILDARCH%" == "AMD64" (
set target_platform=x64
exit /b 0
)
if "%_BUILDARCH%" == "x86" (
set target_platform=x86
exit /b 0
)
echo Error: invalid %%_BUILDARCH%% value "%_BUILDARCH%" ^(the only supported architecture is x86^(-64^)^) >&2
exit /b 1
|
