blob: ee164dfe9592d8e7e562ee29e8ce6f3c3b4b56d0 (
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
|
@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 "root=%~dp0%"
set "src_root=%root%src"
set "bin_root=%root%bin"
set "lib_root=%root%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
|
