From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 22 Mar 2006 14:29:21 +0000 (+0000)
Subject: if DISTRIBUTED all targets require a depend-stamp
X-Git-Tag: 0.4.95@7852~1573
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=bf5e6f18930534e2c951b083c5c2c361a30bcc34;p=helm.git

if DISTRIBUTED all targets require a depend-stamp
---

diff --git a/Makefile b/Makefile
index f92c8da64..c3ce697ff 100644
--- a/Makefile
+++ b/Makefile
@@ -4,8 +4,13 @@ include Makefile.defs
 
 SUBDIRS = components matita
 
+ifeq ($(DISTRIBUTED),yes)
+all: depend $(foreach d,$(SUBDIRS),rec@all@$(d))
+opt: depend $(foreach d,$(SUBDIRS),rec@opt@$(d))
+else
 all: $(foreach d,$(SUBDIRS),rec@all@$(d))
 opt: $(foreach d,$(SUBDIRS),rec@opt@$(d))
+endif
 world: depend $(foreach d,$(SUBDIRS),rec@world@$(d))
 depend: depend-stamp
 depend-stamp: