From 3f418238986c404de26e7776b915638332216580 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 13 Sep 2007 14:39:42 +0000 Subject: [PATCH] the published devels must be removed from the tests --- helm/software/matita/Makefile | 1 - helm/software/matita/contribs/LAMBDA-TYPES/Makefile | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile index 93a6fc6cb..0562ba3bb 100644 --- a/helm/software/matita/Makefile +++ b/helm/software/matita/Makefile @@ -199,7 +199,6 @@ distclean: clean $(H)rm -rf .matita TEST_DIRS = \ - legacy \ library \ tests \ dama \ diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Makefile b/helm/software/matita/contribs/LAMBDA-TYPES/Makefile index 93fba67ce..6e29fc2da 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Makefile +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Makefile @@ -1,6 +1,6 @@ GOALS = all opt clean clean.opt -DEVELS = Base-1 LambdaDelta-1 Base-2 Unified-Sub +DEVELS = Base-2 Unified-Sub $(GOALS): @$(foreach DEVEL, $(DEVELS), $(MAKE) -k -C $(DEVEL) $@;) -- 2.39.2