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
---
 test-suite/check | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'test-suite')

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