From f7aedf0ebd0fb55d3587db4f0753521927dcbb69 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 12 Jan 2006 11:11:51 +0000 Subject: [PATCH] Dependency coq.moo.opt added to target tests.opt --- helm/matita/Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2