From 6a058db94f5602f85ba98e7c4191539aa381ec0b Mon Sep 17 00:00:00 2001
From: Arun Isaac
Date: Fri, 5 Nov 2021 17:02:29 +0530
Subject: Makefile: Delete target if recipe fails.

Without this, when recipes involving output redirection fail, their
targets are not deleted.

* Makefile.am (.DELETE_ON_ERROR): New target.
---
 Makefile.am | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Makefile.am b/Makefile.am
index 9098334..8b55fd7 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -96,6 +96,8 @@ EXTRA_DIST +=			\
   COPYING			\
   README.org
 
+.DELETE_ON_ERROR:
+
 # Build documentation
 
 include .depends
-- 
cgit v1.2.3