diff options
| author | Pierre Letouzey | 2016-06-15 11:33:41 +0200 |
|---|---|---|
| committer | Pierre Letouzey | 2016-06-15 12:09:25 +0200 |
| commit | 2861a39461c6e13f701892af84c7beebfb8f4215 (patch) | |
| tree | 87b38c6e2e2b85e60da8dcffbf7a6cd4feab1588 /dev/include | |
| parent | 443a3f3d610d1a6a6fbd3b49a8145863e7ec9f62 (diff) | |
Makefile.build: ensure a build failure in case of a missing rule
Earlier (as in #4812), a target with some declared dependencies (e.g.
in a .d) but no building rule would lead to a successful build,
even though it is actually incomplete.
Side effect: it is now mandatory to declare phony targets in a
.PHONY statement.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions