From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 1 Jul 2005 16:29:19 +0000 (+0000)
Subject: ...
X-Git-Tag: PRE_GETTER_STORAGE~46
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=27e887a450ec2fa9ffce73cd0354b00472d3a17e;p=helm.git

...
---

diff --git a/helm/matita/library/Makefile b/helm/matita/library/Makefile
index 54ba00488..97c823eec 100644
--- a/helm/matita/library/Makefile
+++ b/helm/matita/library/Makefile
@@ -6,7 +6,7 @@ SRC=\
 	nat.ma \
         Z.ma
 
-MATITAC=../scripts/do_tests.sh ../matitac /dev/null
+MATITAC=../scripts/do_tests.sh ../matitac ../matitaclean /dev/null
 VERBOSEMATITAC=../matitac
 
 DEPEND_NAME=.depend