Commit 07c1b41b authored by Simon Marlow's avatar Simon Marlow

Tweak to the directory-building rule

So we don't try to recreate directories just because they are older
than mkdirhier, since mkdirhier won't touch them.
parent 69570e0b
......@@ -411,7 +411,11 @@ endif
# Don't try to delete directories:
.PRECIOUS: %/.
%/. : $(MKDIRHIER)
# Create build directories on demand. NB. the | below: this indicates
# that $(MKDIRHIER) is an order-only dependency, which means that this
# rule fires after building mkdirhier, but we won't try to recreate
# directories if mkdirhier changes.
%/. : | $(MKDIRHIER)
"$(MKDIRHIER)" $@
# -----------------------------------------------------------------------------
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment