mkdir -p for symlinks
authorhaftmann
Fri, 23 Sep 2005 17:06:23 +0200
changeset 17605 caed4fb770d5
parent 17604 5f30179fbf44
child 17606 6527ba893bae
mkdir -p for symlinks
Admin/website/build/project.mak
--- a/Admin/website/build/project.mak	Fri Sep 23 16:05:42 2005 +0200
+++ b/Admin/website/build/project.mak	Fri Sep 23 17:06:23 2005 +0200
@@ -14,12 +14,14 @@
 DEP_SYMLINKS=dist/packages $(OUTPUTROOT)/dist/library
 
 dist/packages: $(ISABELLE_DIST)
+	mkdir -p dist
 	ln -s $< $@
 
 #~ library: $(ISABELLE_LIBR)
 #~	ln -s $< $@
 
 $(OUTPUTROOT)/dist/library: $(ISABELLE_LIBR)
+	mkdir -p $(OUTPUTROOT)/dist
 	ln -s $< $@
 	chmod $(TARGET_UMASK_DIR) $@