From 838c6ad67f46a7e0a195f5b4f8caf1cc564d5e49 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 12 Oct 2014 17:17:23 +0100
Subject: [PATCH] Makefiles: Remove pipes on clean

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

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
-- 
2.30.2