From 86e9489530bd773828d47d98ae792e5bf0bca53e Mon Sep 17 00:00:00 2001
From: steve <steve>
Date: Fri, 26 Sep 2003 02:16:52 +0000
Subject: [PATCH]  Fix check.conf to match new driver.

---
 check.conf | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/check.conf b/check.conf
index e8c93f72a..ed32c3102 100644
--- a/check.conf
+++ b/check.conf
@@ -2,8 +2,5 @@
 # The make check target uses this to check the compilation of the
 # compiler.
 
-[-tvvm-check]
-<ivl>./ivl %W %[s-s%s] %[N-N%N] %[T-T%T] -tvvm -Fcprop -Fnodangle -fVPI_MODULE_PATH=vpi %f %m -o%o.cc -- -
-
 [-tvvp-check]
-<ivl>./ivl %W %[s-s%s] %[N-N%N] %[T-T%T] -tdll -fDLL=./tgt-vvp/vvp.tgt -Fcprop -Fnodangle -fVPI_MODULE_PATH=vpi %f %m -o%o -- -
+<ivl>./ivl %[N-N%N] -C%C -tdll -fDLL=./tgt-vvp/vvp.tgt -Fcprop -Fnodangle -fVPI_MODULE_PATH=vpi %f %m -- -