X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2FMakefile;h=b19f646fb84af9835a03a9c529727ac9164caa64;hb=7428e580a68ca0590b3504c6091342d243ba5e85;hp=6f62f254652c8ed9a7b1515d920e1deb896af131;hpb=effab341df3fb2bfe403e51d360e81c8b0455e1a;p=helm.git

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index 6f62f2546..b19f646fb 100644
--- a/helm/software/matita/Makefile
+++ b/helm/software/matita/Makefile
@@ -210,7 +210,6 @@ distclean: clean
 TEST_DIRS = 				\
 	legacy                          \
 	library 			\
-	library_auto 			\
 	tests 				\
 	dama				\
 	contribs/CoRN	 	        \
@@ -219,11 +218,16 @@ TEST_DIRS = 				\
 	contribs/PREDICATIVE-TOPOLOGY 	\
 	$(NULL)
 
+TEST_DIRS_OPT = 			\
+	$(TEST_DIRS)                    \
+	library_auto 			\
+	$(NULL)
+
 .PHONY: tests tests.opt cleantests cleantests.opt
 tests: $(foreach d,$(TEST_DIRS),$(d)-test)
-tests.opt: $(foreach d,$(TEST_DIRS),$(d)-test-opt)
+tests.opt: $(foreach d,$(TEST_DIRS_OPT),$(d)-test-opt)
 cleantests: $(foreach d,$(TEST_DIRS),$(d)-cleantests)
-cleantests.opt: $(foreach d,$(TEST_DIRS),$(d)-cleantests-opt)
+cleantests.opt: $(foreach d,$(TEST_DIRS_OPT),$(d)-cleantests-opt)
 
 %-test: matitac matitadep matitaclean 
 	-cd $* && make -k clean all