From e3a9fa6e6231cd4f577e79c4a5ad63f908595982 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 22 Feb 2005 10:03:22 +0000
Subject: Suppression des fichiers temporaires

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

diff --git a/test-suite/check b/test-suite/check
index 838623ac0e..df41fff6e1 100755
--- a/test-suite/check
+++ b/test-suite/check
@@ -85,6 +85,7 @@ test_output() {
         else 
 	    echo "Error! (unexpected output)"
         fi 
+        rm $tmpoutput
     done
     for f in $1/*.v8; do 
 	nbtests=`expr $nbtests + 1`
@@ -100,6 +101,7 @@ test_output() {
             echo "V8 Error! (unexpected output)"
         fi
         rm tmp8.v
+        rm $tmpoutput
     done
 }
 
@@ -121,6 +123,7 @@ test_parser() {
             echo "Ok"
             nbtestsok=`expr $nbtestsok + 1`
         fi
+        rm $tmpoutput
     done
     fi
 }
-- 
cgit v1.2.3