mirror of
https://git.savannah.gnu.org/git/make.git
synced 2024-12-25 13:41:28 +00:00
* doc/make.texi (Prerequisite Types): [SV 61069] Mention PHONY prereqs
This commit is contained in:
parent
2638552859
commit
cc6dc70b16
1 changed files with 4 additions and 0 deletions
|
@ -2073,6 +2073,10 @@ declare the same file to be both a normal and an order-only
|
||||||
prerequisite, the normal prerequisite takes precedence (since they
|
prerequisite, the normal prerequisite takes precedence (since they
|
||||||
have a strict superset of the behavior of an order-only prerequisite).
|
have a strict superset of the behavior of an order-only prerequisite).
|
||||||
|
|
||||||
|
Order-only prerequisites are never checked when determining if the
|
||||||
|
target is out of date; even order-only prerequisites marked as phony
|
||||||
|
(@pxref{Phony Targets}) will not cause the target to be rebuilt.
|
||||||
|
|
||||||
Consider an example where your targets are to be placed in a separate
|
Consider an example where your targets are to be placed in a separate
|
||||||
directory, and that directory might not exist before @code{make} is
|
directory, and that directory might not exist before @code{make} is
|
||||||
run. In this situation, you want the directory to be created before
|
run. In this situation, you want the directory to be created before
|
||||||
|
|
Loading…
Reference in a new issue