From 9088aa0d84ea5f4cac8c185f3e9ea51686a66980 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 28 Nov 2004 18:21:22 +0000
Subject: Suppression bruit perl

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6371 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 test-suite/check | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/test-suite/check b/test-suite/check
index 1c7822d104..5bc034aec7 100755
--- a/test-suite/check
+++ b/test-suite/check
@@ -9,7 +9,7 @@ else
 fi
 
 if [ "$1" = -byte ]; then
-  command="../bin/coqtop.byte -q -batch -load-vernac-source"
+  command="../bin/coqtop.byte -no-vm -q -batch -load-vernac-source"
 else
   command="../bin/coqtop -q -batch -load-vernac-source"
 fi
@@ -99,7 +99,7 @@ test_parser() {
         foutput=`dirname $f`/`basename $f .v`.out
         echo "parse_file 1 \"$f\"" | ../bin/parser > $tmpoutput 2>&1
         perl -ne 'if(/Starting.*Parser Loop/){$printit = 1};print if $printit' \
-            $tmpoutput | grep -i error > /dev/null
+            $tmpoutput 2>&1 | grep -i error > /dev/null
         if [ $? = 0 ] ; then
             echo "Error! (unexpected output)"
         else
@@ -124,6 +124,3 @@ test_parser parser
 pourcentage=`expr 100 \* $nbtestsok / $nbtests`
 echo
 echo "$nbtestsok tests passed over $nbtests, i.e. $pourcentage %"
-
-
-
-- 
cgit v1.2.3