--- a/Admin/website/build/project.mak Wed Apr 26 07:02:04 2006 +0200
+++ b/Admin/website/build/project.mak Wed Apr 26 14:19:13 2006 +0200
@@ -29,7 +29,7 @@
-[ ! -e $@/Isabelle ] && ln -s $(ISABELLE_DIST)/$(DISTNAME) $@/Isabelle
-chgrp -h $(TARGET_GROUP) $@/Isabelle
-chmod u+w,g-w,o-w $@/Isabelle
- ( cd $(OUTPUTROOT); ln -s $(OUTPUTDIST_REL) dist )
+ ( cd $(OUTPUTROOT); [ ! -e dist ] && ln -s $(OUTPUTDIST_REL) dist || true)
else
@@ -41,7 +41,7 @@
-[ ! -e $@/Isabelle ] && ln -s $(ISABELLE_DIST)/$(DISTNAME) $@/Isabelle
-chgrp -h $(TARGET_GROUP) $@/Isabelle
-chmod u+w,g-w,o-w $@/Isabelle
- ( cd $(OUTPUTROOT); ln -s $(OUTPUTDIST_REL) dist )
+ ( cd $(OUTPUTROOT); [ ! -e dist ] && ln -s $(OUTPUTDIST_REL) dist || true)
SYNC_ALWAYS: