X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FMakefile.in;fp=helm%2Fmatita%2FMakefile.in;h=af543d640ea7f471d54b2c39effb3d0a64385c22;hb=f7aedf0ebd0fb55d3587db4f0753521927dcbb69;hp=0614bda3d44a067a310de7dcaca1e9387c58f248;hpb=caa84292498037f8cadcb1d200a69dec3b66c0ea;p=helm.git

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 0614bda3d..af543d640 100644
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -213,7 +213,7 @@ cleantests.opt: $(foreach d,$(TEST_DIRS),$(d)-cleantests-opt)
 
 %-test: matitac matitadep matitaclean coq.moo
 	-cd $* && make -k clean all
-%-test-opt: matitac.opt matitadep.opt matitaclean.opt
+%-test-opt: matitac.opt matitadep.opt matitaclean.opt coq.moo.opt
 	-cd $* && make -k clean.opt opt
 %-cleantests: matitaclean
 	-cd $* && make clean