X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fmatita%2FMakefile.in;fp=helm%2Fmatita%2FMakefile.in;h=d48d91b5124748face9f5e2a892908d2ade084fe;hp=d498e37a102395521c3ec4e77a6147f2cbba8b18;hb=4622c744ca883d0a2a308d5ec5f3f280a039af64;hpb=c84e96bf662f4372a1732926f28429b0f73f8a61

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index d498e37a1..d48d91b51 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