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

1 files changed, 3 insertions, 1 deletions

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 %"