diff options
author | Alejandro Colomar <alx@kernel.org> | 2023-03-10 12:18:29 +0100 |
---|---|---|
committer | Alejandro Colomar <alx@kernel.org> | 2023-03-10 12:42:48 +0100 |
commit | 250d9062591b3118298438227304d3ce98167ddf (patch) | |
tree | bccc96540f3b91acc721752c58a8e148a0b7b95b /Makefile | |
parent | 7c6ae1a3ee9a43124490b32d1b462e97cb38441b (diff) |
Makefile, lint-man.mk: Delete files on error
Without .DELETE_ON_ERROR, if a command fails, but has written to a file
(e.g., with '>'), the file will still exist, and successive make(1)
invocations will think it previously succeeded.
Signed-off-by: Alejandro Colomar <alx@kernel.org>
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -126,4 +126,5 @@ include $(srcdir)/lib/lint-man.mk include $(srcdir)/lib/verbose.mk +.DELETE_ON_ERROR: FORCE: |