diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2020-12-18 18:48:46 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2021-01-13 22:32:43 +0300 |
commit | 2615896faa646e5830abf2c269150e1165c66515 (patch) | |
tree | 7d95978ec0a83094c9462ed4e1f59d42f4ff8ddb /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 |