summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
b5384cd)
To quiet those warnings from make about not being able to delete
directories.
# -----------------------------------------------------------------------------
# Directories
# -----------------------------------------------------------------------------
# Directories
+# Don't try to delete directories:
+.PRECIOUS: %/.
+
%/. : $(MKDIRHIER)
"$(MKDIRHIER)" $@
%/. : $(MKDIRHIER)
"$(MKDIRHIER)" $@