From f9592c85be33c034a19f193a899a243c450ad048 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 1 Jan 2004 16:07:21 +0000
Subject: [ -d ... ] au lieu de [ -f ... ] sur commit précédént

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

diff --git a/test-suite/check b/test-suite/check
index 2a7dc8f087..4ccc1dc573 100755
--- a/test-suite/check
+++ b/test-suite/check
@@ -20,7 +20,7 @@ nbtestsok=0
 
 # La fonction suivante teste le compilateur sur des fichiers qu'il doit
 # accepter
-test_succes() {
+test_success() {
     for f in $1/*.v; do 
 	nbtests=`expr $nbtests + 1`
 	printf "    "$f"..."
@@ -43,7 +43,7 @@ test_succes() {
 
 # La fonction suivante teste le compilateur sur des fichiers qu'il doit
 # refuser
-test_echec() {
+test_failure() {
     for f in $1/*.v; do 
 	nbtests=`expr $nbtests + 1`
 	printf "    "$f"..."
@@ -78,7 +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
+    if [ -d $1 ]; then
     for f in $1/*.v; do
         nbtests=`expr $nbtests + 1`
         printf "    "$f"..."
@@ -103,11 +103,11 @@ test_parser() {
 # test_output output
 echo "[Output tests are off]"
 echo "Success tests"
-test_succes success
+test_success success
 echo "Failure tests"
-test_echec failure
+test_failure failure
 echo "Parser tests"
-test_parser
+test_parser parser
 pourcentage=`expr 100 \* $nbtestsok / $nbtests`
 echo
 echo "$nbtestsok tests passed over $nbtests, i.e. $pourcentage %"
-- 
cgit v1.2.3