--- a/Admin/website/build/make_dep.bash Tue Oct 04 14:37:06 2005 +0200
+++ b/Admin/website/build/make_dep.bash Tue Oct 04 14:58:44 2005 +0200
@@ -23,7 +23,7 @@
echo ' mkdir -p $(dir $@)' >> "$DEP_FILE"
echo ' -chmod $(TARGET_UMASK_DIR) $(dir $@)' >> "$DEP_FILE"
echo ' -chgrp $(TARGET_GROUP) $(dir $@)' >> "$DEP_FILE"
- echo ' rm $@' >> "$DEP_FILE"
+ echo ' -[ -e $@ ] && rm $@' >> "$DEP_FILE"
echo ' cp $< $@' >> "$DEP_FILE"
echo ' chmod $(TARGET_UMASK_DIR) $@' >> "$DEP_FILE"
echo ' chgrp $(TARGET_GROUP) $@' >> "$DEP_FILE"
@@ -43,7 +43,7 @@
echo ' mkdir -p $(dir $@)' >> "$DEP_FILE"
echo ' -chmod $(TARGET_UMASK_DIR) $(dir $@)' >> "$DEP_FILE"
echo ' -chgrp $(TARGET_GROUP) $(dir $@)' >> "$DEP_FILE"
- echo ' rm $@' >> "$DEP_FILE"
+ echo ' -[ -e $@ ] && rm $@' >> "$DEP_FILE"
echo ' $(PYTHON) build/pypager.py --dtd="dtd/" $(FORCE_ENC_CMD) --srcroot="." --dstroot="$(OUTPUTROOT)" distname="$(DISTNAME)" $< $@' >> "$DEP_FILE"
echo ' -$(TIDYCMD) $@' >> "$DEP_FILE"
echo ' chmod $(TARGET_UMASK_DIR) $@' >> "$DEP_FILE"