]> git.ipfire.org Git - thirdparty/ipxe.git/commit
[build] Avoid deleting config header files if build is interrupted
authorMichael Brown <mcb30@ipxe.org>
Tue, 26 Aug 2014 14:05:48 +0000 (15:05 +0100)
committerMichael Brown <mcb30@ipxe.org>
Tue, 26 Aug 2014 14:08:46 +0000 (15:08 +0100)
commitbfe9f06f9b1b9296feb46f4a6d64d1da8ce2a1f4
tree05efc3da6a5a42ed27d7a78bdd9799008575d6a2
parentdf202b3f4d9d9a0894bed3b0a47850b7987c13c6
[build] Avoid deleting config header files if build is interrupted

With extremely unlucky timing, it is possible to interrupt a build and
cause make to delete config/named.h (and possibly any local
configuration headers).

Mark config/named.h and all local configuration headers as .PRECIOUS
to prevent make from ever deleting them.

Signed-off-by: Michael Brown <mcb30@ipxe.org>
src/Makefile.housekeeping