diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2017-04-28 04:13:07 +0300 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2017-04-28 04:13:07 +0300 |
commit | 93b4a8271a58fa8ee1261d541ae1eeb45a954711 (patch) | |
tree | 7a11756190918aeba473246e135e454577fdbe41 /km/build/wdk7.1/clean_drivers.bat | |
parent | README updates (diff) | |
download | windows7-drivers-93b4a8271a58fa8ee1261d541ae1eeb45a954711.tar.gz windows7-drivers-93b4a8271a58fa8ee1261d541ae1eeb45a954711.zip |
build/wdk7.1: refactoring
Diffstat (limited to '')
-rw-r--r-- | km/build/wdk7.1/clean_drivers.bat | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/km/build/wdk7.1/clean_drivers.bat b/km/build/wdk7.1/clean_drivers.bat index 8442c90..100c0da 100644 --- a/km/build/wdk7.1/clean_drivers.bat +++ b/km/build/wdk7.1/clean_drivers.bat @@ -6,8 +6,10 @@ @setlocal enabledelayedexpansion @echo off -for /f "delims=" %%i in ('dir "%src_root%\sources" /b /s') do ( - set "driver_src_root=%%~dpi" +call check_env.bat || exit /b !errorlevel! + +for /f "delims=" %%i in ('dir "%proj_src_dir%\sources" /b /s') do ( + set "drv_src_dir=%%~dpi" echo. - call clean_driver.bat "!driver_src_root:~0,-1!" || exit /b !errorlevel! + call clean_driver.bat "!drv_src_dir:~0,-1!" || exit /b !errorlevel! ) |