X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FMakefile.in;h=3d59960c0e68c37c58f0d8e8a9707078e289859c;hb=2fdc0e2718552c0d300b38a6f677873f02ee2217;hp=7a553445d20c4fcca7b5445785f85bb9131112fa;hpb=f889c8d9a623fe85258f065242ad6e95c9adfec9;p=helm.git

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 7a553445d..3d59960c0 100644
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -49,8 +49,8 @@ CCMOS =				\
 	matitaDb.cmo		\
 	matitaSync.cmo		\
 	matitaDisambiguator.cmo	\
-	matitaEngine.cmo	\
 	matitacleanLib.cmo	\
+	matitaEngine.cmo	\
 	matitacLib.cmo
 CLEANCMOS = $(CCMOS)
 MAKECMOS = $(CCMOS) matitamakeLib.cmo
@@ -165,7 +165,10 @@ tests: matitac matitadep matitaclean
 tests.opt: matitac.opt matitadep.opt matitaclean.opt
 	@(cd library && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac.opt ../matitaclean.opt /dev/null" clean.opt opt)
 	@(cd tests && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac.opt ../matitaclean.opt /dev/null" clean.opt opt)
-.PHONY: tests tests.opt
+cleantests: matitaclean
+	@(cd library && make clean)
+	@(cd tests && make clean)
+.PHONY: tests tests.opt cleantests
 
 tags: TAGS
 .PHONY: TAGS