In article <[email protected]>, Roland Illig <[email protected]> wrote: >-=-=-=-=-=- > >Module Name: src >Committed By: rillig >Date: Sun Jul 26 20:04:57 UTC 2020 > >Modified Files: > src/usr.bin/make: Makefile > >Log Message: >make(1): explicitly add dependencies on headers > >This prevents partial builds after changing a header. The declared >dependencies are more than strictly necessary, but that's still better >than having inconsistent partial builds because too few dependencies are >declared.
Isn't that what make depend is for? christos
