blob: e796c9058109427d2a2059e7be79157e5af89b36 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
@echo off
setlocal
set BOOGIEDIR=..\..\Binaries
set BPLEXE=%BOOGIEDIR%\Boogie.exe
for %%f in (t1.bpl) do (
echo.
echo -------------------- %%f --------------------
%BPLEXE% %* /typeEncoding:m %%f
)
|