diff options
Diffstat (limited to 'km/build/wdk7.1/clean_drivers.bat')
| -rw-r--r-- | km/build/wdk7.1/clean_drivers.bat | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/km/build/wdk7.1/clean_drivers.bat b/km/build/wdk7.1/clean_drivers.bat new file mode 100644 index 0000000..8442c90 --- /dev/null +++ b/km/build/wdk7.1/clean_drivers.bat @@ -0,0 +1,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 clean_driver.bat "!driver_src_root:~0,-1!" || exit /b !errorlevel! +) |