From 4622c744ca883d0a2a308d5ec5f3f280a039af64 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 12 Jan 2006 11:10:23 +0000 Subject: [PATCH] coq.moo.opt dependency added to the 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 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 -- 2.39.2