From 4ab6b4054730b9ed419f0c4296f9deda9ab321b2 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 15 Feb 2006 11:49:03 +0000 Subject: [PATCH] fix --- matita/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/matita/Makefile b/matita/Makefile index 749ed0f71..39b348eea 100644 --- a/matita/Makefile +++ b/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