blob: 502081b121d3f6650e0a9080d820b00631cb5859 (
plain)
1
2
3
4
5
6
7
8
9
10
|
@echo off
set BOOGIEDIR=..\..\Binaries
set BPLEXE=%BOOGIEDIR%\Boogie.exe
for %%f in (CodeExpr0.bpl CodeExpr1.bpl CodeExpr2.bpl) do (
echo.
echo ------------------------------ %%f ---------------------
%BPLEXE% %* %%f
)
|