From baf08c7b03fd7251a342569a1b25cf7f5792b21e Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 29 Mar 2006 12:07:55 +0000 Subject: [PATCH 1/1] few bits to debug the benchmark system --- helm/software/matita/Makefile | 1 - helm/software/matita/template_makefile.in | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile index 2dc38c3f1..28971ecf8 100644 --- a/helm/software/matita/Makefile +++ b/helm/software/matita/Makefile @@ -177,7 +177,6 @@ distclean: clean TEST_DIRS = \ library \ tests \ - tests/bad_tests \ contribs/LAMBDA-TYPES \ contribs/PREDICATIVE-TOPOLOGY \ $(NULL) diff --git a/helm/software/matita/template_makefile.in b/helm/software/matita/template_makefile.in index 6a66e269a..0b46f4864 100644 --- a/helm/software/matita/template_makefile.in +++ b/helm/software/matita/template_makefile.in @@ -26,7 +26,7 @@ clean: fi @DEPFILE@ : $(SRC) - $(MATITADEP) $(MATITA_FLAGS) -I '@ROOT@' $^ 1> @DEPFILE@ + $(MATITADEP) $(MATITA_FLAGS) -I '@ROOT@' $^ 1> @DEPFILE@ 2>@DEPFILE@.errors # this is the depend for full targets like: # dir/dir/name.moo: dir/dir/name.ma dir/dep.moo -- 2.39.2