summaryrefslogtreecommitdiff
path: root/Test/doomed/runtest.bat
blob: 9dda44cfb4f68aa384783140cea534253f5a2d82 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
@echo off
setlocal

set BOOGIEDIR=..\..\Binaries
set BGEXE=%BOOGIEDIR%\Boogie.exe

for %%f in (doomed.bpl) do (
  echo -------------------- %%f --------------------
  %BGEXE% /vc:doomed %* %%f
)

for %%f in (notdoomed.bpl) do (
  echo -------------------- %%f --------------------
  %BGEXE% /vc:doomed %* %%f
)