blob: 35b286720d9a3e64e62f55a84ff5a3c4bb8a351a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
@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
for /f "delims=" %%i in ('dir "%src_root%\sources" /b /s') do (
set "driver_src_root=%%~dpi"
echo.
call build_driver.bat "!driver_src_root:~0,-1!" || exit /b !errorlevel!
)
|
