From d2a898e8636c360713d8c9967f1de74e3e077c3f Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sun, 18 May 2008 20:51:26 +0000 Subject: [PATCH] run fsub during night --- helm/software/matita/contribs/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/matita/contribs/Makefile b/helm/software/matita/contribs/Makefile index 1ee722ed5..e9ba4d1be 100644 --- a/helm/software/matita/contribs/Makefile +++ b/helm/software/matita/contribs/Makefile @@ -1,6 +1,6 @@ GOALS = all opt clean clean.opt -DEVELS = RELATIONAL LOGIC LAMBDA-TYPES assembly dama +DEVELS = RELATIONAL LOGIC LAMBDA-TYPES assembly dama POPLmark $(GOALS): @$(foreach DEVEL, $(DEVELS), $(MAKE) -C $(DEVEL) $@;) -- 2.39.2