blob: 1be15364a77c8de227523d872486adac913be398 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
@echo off
setlocal
set BGEXE=..\..\Binaries\Boogie.exe
rem set BGEXE=mono ..\..\Binaries\Boogie.exe
%BGEXE% %* /monomorphize KbdCreateClassObject.bpl
%BGEXE% %* /monomorphize KeyboardClassFindMorePorts.bpl
%BGEXE% %* /monomorphize KeyboardClassUnload.bpl
%BGEXE% %* /monomorphize MouCreateClassObject.bpl
%BGEXE% %* /monomorphize MouseClassFindMorePorts.bpl
%BGEXE% %* /monomorphize MouseClassUnload.bpl
|
