chiark / gitweb /
Add .DELETE_ON_ERROR target to Makefile
authorBen Harris <bjh21@bjh21.me.uk>
Mon, 11 Nov 2024 22:28:40 +0000 (22:28 +0000)
committerBen Harris <bjh21@bjh21.me.uk>
Thu, 14 Nov 2024 23:31:36 +0000 (23:31 +0000)
That ensures that output files of a rule get properly deleted if the
recipe fails, which is almost always correct.

Makefile

index d4738f5f0c47de49d678ab1e5a829b5e1586edfe..053766bd023b1f16beb7cd66914f8b3ad65bb927 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -123,3 +123,5 @@ dist: $(DISTFILES)
        zip -r bedstead-$$(sed -n 's/^Version: //p' < bedstead.sfd).zip \
            bedstead-$$(sed -n 's/^Version: //p' < bedstead.sfd)
        rm -r bedstead-$$(sed -n 's/^Version: //p' < bedstead.sfd)
+
+.DELETE_ON_ERROR: