diff options
Diffstat (limited to 'devtools/fix_tlogs.bat')
| -rw-r--r-- | devtools/fix_tlogs.bat | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/devtools/fix_tlogs.bat b/devtools/fix_tlogs.bat new file mode 100644 index 0000000..cd471c0 --- /dev/null +++ b/devtools/fix_tlogs.bat @@ -0,0 +1,8 @@ +@echo Fixing cl.read.1.tlog errors in %cd% + +@rem This used to use forfiles for the directory scanning, but that +@rem is about ten times slower than doing it all in Python. +@rem forfiles /m cl.read.1.tlog /s /c "cmd /c %~dp0fix_tlog.py @path" + +@rem Run the Python script and let it do the iteration: +%~dp0fix_tlog.py |