From e5ee96a918963f9e92bde8b9555b5f6132e9e298 Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Sat, 27 Dec 2003 22:53:07 +0000
Subject: Protection contre l'echec des tests parser pour la distrib

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5157 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 test-suite/check | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'test-suite')

diff --git a/test-suite/check b/test-suite/check
index b8abbcb96..2a7dc8f08 100755
--- a/test-suite/check
+++ b/test-suite/check
@@ -78,6 +78,7 @@ test_output() {
 # La fonction suivante teste l'analyseur syntaxique fournit par "parser"
 # Elle fonctionne comme test_output
 test_parser() {
+    if [ -f parser ]; then
     for f in $1/*.v; do
         nbtests=`expr $nbtests + 1`
         printf "    "$f"..."
@@ -93,6 +94,7 @@ test_parser() {
             echo "Error! (unexpected output)"
         fi
     done
+    fi
 }
 
 # Programme principal
@@ -105,7 +107,7 @@ test_succes success
 echo "Failure tests"
 test_echec failure
 echo "Parser tests"
-test_parser parser
+test_parser
 pourcentage=`expr 100 \* $nbtestsok / $nbtests`
 echo
 echo "$nbtestsok tests passed over $nbtests, i.e. $pourcentage %"
-- 
cgit v1.2.3