From d31f56b1c66427e8a3e9e2de7b5115b6f6b6cf9e Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 19 Nov 2016 18:15:39 +0000
Subject: [PATCH] clean targets: Delete $(TARGETS) too!

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 settings.make.in | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/settings.make.in b/settings.make.in
index 26dd7ae..64c406e 100644
--- a/settings.make.in
+++ b/settings.make.in
@@ -26,12 +26,13 @@ include		../common.make
 all:			$(TARGETS)
 
 clean mostlyclean:
+		rm -f $(TARGETS)
 		rm -f *.o *.tmp* *.so *.so.* pipe.*
 		rm -f output-*.err output-*.leftover
 		rm -f output-*.out output-*.report
 
 distclean:		clean
-		rm -f $(TARGETS) *~ ./#*# core *.orig *.rej Makefile config.h
+		rm -f *~ ./#*# core *.orig *.rej Makefile config.h
 
 distprep:		$(AUTOCSRCS) $(AUTOCHDRS)
 
-- 
2.30.2