diff options
Diffstat (limited to '')
| -rw-r--r-- | km/build/wdk7.1/clean_drivers.bat (renamed from clean_drivers.bat) | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clean_drivers.bat b/km/build/wdk7.1/clean_drivers.bat index ca2e48e..8442c90 100644 --- a/clean_drivers.bat +++ b/km/build/wdk7.1/clean_drivers.bat @@ -6,7 +6,7 @@ @setlocal enabledelayedexpansion @echo off -for /f "delims=" %%i in ('dir /s sources /b') do ( +for /f "delims=" %%i in ('dir "%src_root%\sources" /b /s') do ( set "driver_src_root=%%~dpi" echo. call clean_driver.bat "!driver_src_root:~0,-1!" || exit /b !errorlevel! |