From bb414303a01801e62f3a3b4acab5578682eff54c Mon Sep 17 00:00:00 2001
From: steve <steve>
Date: Sat, 28 Oct 2000 04:16:11 +0000
Subject: [PATCH]  make check target (PR#3)

---
 check.conf | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 check.conf

diff --git a/check.conf b/check.conf
new file mode 100644
index 000000000..2c94e8ffd
--- /dev/null
+++ b/check.conf
@@ -0,0 +1,6 @@
+
+# The make check target uses this to check the compilation of the
+# compiler.
+
+[-tvvm]
+<ivl>./ivl %W %[s-s%s] %[N-N%N] %[T-T%T] -tvvm -Fcprop -Fnodangle -fVPI_MODULE_PATH=vpi %f %m -o%o.cc -- -