From c136d946314f44ab5da5f7ed229dc36b84effb66 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 21 Nov 2001 21:29:14 +0000
Subject: Possibilité d'appeler check avec l'option -byte

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2235 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 7803f8259f..9ac970c564 100644
--- a/Makefile
+++ b/Makefile
@@ -325,7 +325,7 @@ clean::
 ###########################################################################
 
 check: $(BESTCOQTOP)
-	cd test-suite; ./check 
+	cd test-suite; ./check -$(BEST)
 
 ###########################################################################
 # theories and states
-- 
cgit v1.2.3