From f2d6c91726cefdc9860268e3e6a86a9acb50c2f6 Mon Sep 17 00:00:00 2001
From: courant
Date: Tue, 4 Jun 2002 10:44:07 +0000
Subject: *** empty log message ***

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2752 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/Makefile b/Makefile
index 48438d16bf..a92321969d 100644
--- a/Makefile
+++ b/Makefile
@@ -378,12 +378,9 @@ clean::
 # tests
 ###########################################################################
 
-check.log: world
-	cd test-suite; ./check -$(BEST) > check.log
-
-check:: check.log
-	cat check.log
-	grep -F 'Error!' check.log
+check:: world
+	cd test-suite; ./check -$(BEST) | tee check.log
+	grep -F 'Error!' test-suite/check.log
 
 ###########################################################################
 # theories and states
-- 
cgit v1.2.3