From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 12 Oct 2014 16:17:23 +0000 (+0100)
Subject: Makefiles: Remove pipes on clean
X-Git-Tag: wip.ipv6.2014-10-13.tip~10
X-Git-Url: https://git.distorted.org.uk/~mdw/adns/commitdiff_plain/758b69446b7cd50beaaf7851ca5c1b054ad66f2f

Makefiles: Remove pipes on clean

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/settings.make.in b/settings.make.in
index a8830da..c92428a 100644
--- a/settings.make.in
+++ b/settings.make.in
@@ -64,7 +64,7 @@ INSTALL_DATA=		$(INSTALL) -m 644
 all:			$(TARGETS)
 
 clean mostlyclean:
-		rm -f *.o *.tmp* *.so *.so.*
+		rm -f *.o *.tmp* *.so *.so.* pipe.*
 
 distclean:		clean
 		rm -f $(TARGETS) *~ ./#*# core *.orig *.rej Makefile