From ba3903b2c712d2a6d60c0da59b26c882b8ed6c7c Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 15 Feb 2006 11:49:03 +0000 Subject: [PATCH] fix --- helm/software/matita/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile index 749ed0f71..39b348eea 100644 --- a/helm/software/matita/Makefile +++ b/helm/software/matita/Makefile @@ -178,9 +178,9 @@ tests.opt: $(foreach d,$(TEST_DIRS),$(d)-test-opt) cleantests: $(foreach d,$(TEST_DIRS),$(d)-cleantests) cleantests.opt: $(foreach d,$(TEST_DIRS),$(d)-cleantests-opt) -%-test: matitac matitadep matitaclean coq.moo +%-test: matitac matitadep matitaclean -cd $* && make -k clean all -%-test-opt: matitac.opt matitadep.opt matitaclean.opt coq.moo.opt +%-test-opt: matitac.opt matitadep.opt matitaclean.opt -cd $* && make -k clean.opt opt %-cleantests: matitaclean -cd $* && make clean -- 2.39.2