]> git.ipfire.org Git - thirdparty/man-pages.git/commit - GNUmakefile
projects / thirdparty / man-pages.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7c6ae1a) | patch
Makefile, lint-man.mk: Delete files on error
authorAlejandro Colomar <alx@kernel.org>
Fri, 10 Mar 2023 11:18:29 +0000 (12:18 +0100)
committerAlejandro Colomar <alx@kernel.org>
Fri, 10 Mar 2023 11:42:48 +0000 (12:42 +0100)
commit250d9062591b3118298438227304d3ce98167ddf
treebccc96540f3b91acc721752c58a8e148a0b7b95btree | snapshot
parent7c6ae1a3ee9a43124490b32d1b462e97cb38441bcommit | 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>
Makefile diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.