diff options
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! ) |