diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2020-12-18 18:48:46 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2021-02-25 13:45:48 +0300 |
commit | 5e527213a2430bb3018e5eebd909aef294edf9b5 (patch) | |
tree | 94de33c82080b53d9a9e300170f6d221d89078f4 /dist/examples/tester.bat | |
parent | 7420f85ea19b0562ffdd8123442f32bc8bac1267 (diff) |
Switch to build2
Diffstat (limited to 'dist/examples/tester.bat')
-rw-r--r-- | dist/examples/tester.bat | 46 |
1 files changed, 0 insertions, 46 deletions
diff --git a/dist/examples/tester.bat b/dist/examples/tester.bat deleted file mode 100644 index 372d90a..0000000 --- a/dist/examples/tester.bat +++ /dev/null @@ -1,46 +0,0 @@ -@echo off -rem file : examples/tester.bat -rem license : GNU GPL v2 + exceptions; see accompanying LICENSE file - -rem -rem Run example. The example directory is the current directory. -rem -rem %1 configuration, for example, Debug or Release -rem %2 platform, for example Win32 or x64 -rem - -setlocal - -if "_%DIFF%_" == "__" set DIFF=fc - -if "_%2_" == "_Win32_" ( - set "dir=%1" -) else ( - set "dir=%2\%1" -) - -rem Globbing returns files in alphabetic order. We also need to cover -rem compressed XML files (.xml.gz). -rem -if exist *.xml* ( - for %%f in (*.xml*) do ( - if NOT "%%f" == "out.xml" ( - if NOT "%%f" == "out.xml.gz" ( - %dir%\driver.exe %%f - if errorlevel 1 goto error - ) - ) - ) -) else ( - %dir%\driver.exe - if errorlevel 1 goto error -) - -goto end - -:error -endlocal -exit /b 1 - -:end -endlocal |