editor_rename helper script

main
Dominik Madarász 2023-10-23 16:00:03 +02:00
parent 49c41fb90e
commit 6a569424c4
1 changed files with 26 additions and 0 deletions

View File

@ -0,0 +1,26 @@
@echo off
cd %~dp0\..
pushd tools\editor
for /r %%f in (.\*.c) do (
set "filename=%%~nxf"
if /i not "!filename!"=="rename.bat" (
echo Processing: %%f
..\fwkren.exe %%f to
) else (
echo Skipping %%f
)
)
for /r %%f in (.\*.h) do (
set "filename=%%~nxf"
if /i not "!filename!"=="rename.bat" (
echo Processing: %%f
..\fwkren.exe %%f to
) else (
echo Skipping %%f
)
)
echo All done.
endlocal
popd