From feb2992dfbcf4a313c6454332202eec84ece684a Mon Sep 17 00:00:00 2001
From: =?utf8?q?Christian=20W=C3=BCrdig?=
 <chriswue@ipd.info.uni-karlsruhe.de>
Date: Tue, 1 Aug 2006 10:56:31 +0000
Subject: [PATCH] added firm ini file, so options can be specified in here

---
 ir/be/test/firm.ini | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 ir/be/test/firm.ini

diff --git a/ir/be/test/firm.ini b/ir/be/test/firm.ini
new file mode 100644
index 000000000..494846f11
--- /dev/null
+++ b/ir/be/test/firm.ini
@@ -0,0 +1,4 @@
+firm.be.ra.chordal.jc.jvm  = /usr/public/java/jdk1.5.0_04/jre/lib/i386/client/libjvm.so
+firm.be.ra.chordal.copymin = heur3
+firm.be.ra.chordal.spill   = morgan
+firm.be.ra.chordal.copymin_stats = false
-- 
2.20.1