X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=Makefile;h=c3ce697ffe8f55b1e9277dbb085d24e22f8c5fd3;hb=3ed150643328da99de75cdf69b2987a8fb44cce4;hp=f92c8da64b85481a9bb17b3da81ca653bd0b57ba;hpb=d4c6f8464dc183326b7f7b4dc6171e69b482a26b;p=helm.git

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: