blob: 5a73d5f1519e9f7eac0df5fae390a6b876f0c3d0 (
plain) (
tree)
|
|
@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_ddk.bat || exit /b !errorlevel!
if not defined proj_build_dir goto :env_not_set
if not defined proj_bin_dir goto :env_not_set
if not defined proj_lib_dir goto :env_not_set
if not defined proj_src_dir goto :env_not_set
if not exist "%proj_build_dir%\sign.bat" (
echo Error: %proj_build_dir%\sign.bat was not found ^(don^'t know how to sign drivers otherwise^) >&2
exit /b 1
)
exit /b 0
:env_not_set
echo Error: either %%proj_build_dir%%, %%proj_bin_dir%%, %%proj_lib_dir%% or %%proj_src_dir%% are not set ^(have set up the build environment using setenv.bat?^) >&2
exit /b 1
|