On Mon, Jun 25, 2012 at 4:41 AM, Gerhard Roth <[email protected]> wrote: ... > This is nasty if some modification broke the compilation of a particular > source file. It cannot be compiled, but mkdep(1) exits with zero and > 'make depend' completes without error. Since the source couldn't be > compiled, the resulting depend file will not list this source. Without > having any dependencies, make(1) will not try to rebuild the derived > targets. Unless I do a 'make clean', I won't even notice that my > build is broken. > > Below is a possible patch to fix this.
Committed; thanks! Philip Guenther
