fixed silly symlink bug
authorhaftmann
Wed Apr 26 14:19:13 2006 +0200 (2006-04-26)
changeset 194710fab37327f91
parent 19470 3572af78f114
child 19472 896eb8056e97
fixed silly symlink bug
Admin/website/build/project.mak
     1.1 --- a/Admin/website/build/project.mak	Wed Apr 26 07:02:04 2006 +0200
     1.2 +++ b/Admin/website/build/project.mak	Wed Apr 26 14:19:13 2006 +0200
     1.3 @@ -29,7 +29,7 @@
     1.4  	-[ ! -e $@/Isabelle ] && ln -s $(ISABELLE_DIST)/$(DISTNAME) $@/Isabelle
     1.5  	-chgrp -h $(TARGET_GROUP) $@/Isabelle
     1.6  	-chmod u+w,g-w,o-w $@/Isabelle
     1.7 -	( cd $(OUTPUTROOT); ln -s $(OUTPUTDIST_REL) dist )
     1.8 +	( cd $(OUTPUTROOT); [ ! -e dist ] && ln -s $(OUTPUTDIST_REL) dist || true)
     1.9  
    1.10  else
    1.11  
    1.12 @@ -41,7 +41,7 @@
    1.13  	-[ ! -e $@/Isabelle ] && ln -s $(ISABELLE_DIST)/$(DISTNAME) $@/Isabelle
    1.14  	-chgrp -h $(TARGET_GROUP) $@/Isabelle
    1.15  	-chmod u+w,g-w,o-w $@/Isabelle
    1.16 -	( cd $(OUTPUTROOT); ln -s $(OUTPUTDIST_REL) dist )
    1.17 +	( cd $(OUTPUTROOT); [ ! -e dist ] && ln -s $(OUTPUTDIST_REL) dist || true)
    1.18  
    1.19  SYNC_ALWAYS:
    1.20