diff options
Diffstat (limited to 'tomlplusplus/tools/generate_single_header.bat')
| -rw-r--r-- | tomlplusplus/tools/generate_single_header.bat | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/tomlplusplus/tools/generate_single_header.bat b/tomlplusplus/tools/generate_single_header.bat new file mode 100644 index 0000000000..7fe0def0b5 --- /dev/null +++ b/tomlplusplus/tools/generate_single_header.bat @@ -0,0 +1,19 @@ +@ECHO off +SETLOCAL enableextensions enabledelayedexpansion +PUSHD . +CD /d "%~dp0" + +REM -------------------------------------------------------------------------------------- +REM Invokes generate_single_header.py. +REM -------------------------------------------------------------------------------------- + +py generate_single_header.py %* +if %ERRORLEVEL% NEQ 0 ( + PAUSE + GOTO FINISH +) + +:FINISH +POPD +@ENDLOCAL +EXIT /B %ERRORLEVEL% |