diff options
Diffstat (limited to 'thirdparties/win32/tools')
-rw-r--r-- | thirdparties/win32/tools/BatchSubstitute.bat | 19 | ||||
-rw-r--r-- | thirdparties/win32/tools/abnfgen.exe | bin | 0 -> 163716 bytes | |||
-rw-r--r-- | thirdparties/win32/tools/ragel.exe | bin | 0 -> 9824733 bytes |
3 files changed, 19 insertions, 0 deletions
diff --git a/thirdparties/win32/tools/BatchSubstitute.bat b/thirdparties/win32/tools/BatchSubstitute.bat new file mode 100644 index 0000000..8093cb1 --- /dev/null +++ b/thirdparties/win32/tools/BatchSubstitute.bat @@ -0,0 +1,19 @@ +@echo off
+REM -- COPYRIGHT ==> http://www.dostips.com
+REM -- Prepare the Command Processor --
+SETLOCAL ENABLEEXTENSIONS
+SETLOCAL DISABLEDELAYEDEXPANSION
+
+::BatchSubstitude - parses a File line by line and replaces a substring"
+::syntax: BatchSubstitude.bat OldStr NewStr File
+:: OldStr [in] - string to be replaced
+:: NewStr [in] - string to replace with
+:: File [in] - file to be parsed
+if "%*"=="" findstr "^::" "%~f0"&GOTO:EOF
+for /f "tokens=1,* delims=]" %%A in ('"type %3|find /n /v """') do (
+ set "line=%%B"
+ if defined line (
+ call set "line=echo.%%line:%~1=%~2%%"
+ for /f "delims=" %%X in ('"echo."%%line%%""') do %%~X
+ ) ELSE echo.
+)
\ No newline at end of file diff --git a/thirdparties/win32/tools/abnfgen.exe b/thirdparties/win32/tools/abnfgen.exe Binary files differnew file mode 100644 index 0000000..58df3ed --- /dev/null +++ b/thirdparties/win32/tools/abnfgen.exe diff --git a/thirdparties/win32/tools/ragel.exe b/thirdparties/win32/tools/ragel.exe Binary files differnew file mode 100644 index 0000000..2ea7ac7 --- /dev/null +++ b/thirdparties/win32/tools/ragel.exe |