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/ --- km/build/wdk7.1/check_env.bat | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 km/build/wdk7.1/check_env.bat (limited to 'km/build/wdk7.1/check_env.bat') diff --git a/km/build/wdk7.1/check_env.bat b/km/build/wdk7.1/check_env.bat new file mode 100644 index 0000000..f3cb382 --- /dev/null +++ b/km/build/wdk7.1/check_env.bat @@ -0,0 +1,18 @@ +@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 + +if not defined root goto :env_not_set +if not defined bin_root goto :env_not_set +if not defined lib_root goto :env_not_set +if not defined src_root goto :env_not_set + +exit /b 0 + +:env_not_set +echo Error: either %%root%%, %%bin_root%%, %%lib_root%% or %%src_root%% are not set ^(have you set up the build environment using setenv.bat?^) >&2 +exit /b 1 -- cgit v1.2.3