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 +-
 test-suite/check | 6 +++++-
 2 files changed, 6 insertions(+), 2 deletions(-)

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
diff --git a/test-suite/check b/test-suite/check
index f206c8413a..3e8a080384 100755
--- a/test-suite/check
+++ b/test-suite/check
@@ -2,7 +2,11 @@
 
 # Automatic test of Coq
 
-command="../bin/coqtop.opt -q -batch -load-vernac-source"
+if [ "$1" = -byte ]; then
+  command="../bin/coqtop.byte -q -batch -load-vernac-source"
+else
+  command="../bin/coqtop -q -batch -load-vernac-source"
+fi
 
 # on compte le nombre de tests et de succès
 nbtests=0
-- 
cgit v1.2.3