Suppression des fichiers temporaires

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6769 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 3 insertions, 0 deletions

diff --git a/test-suite/check b/test-suite/check
index 838623ac0..df41fff6e 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
 }