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 a8830daddb46b2f9a2f744a234207b5406f4448c..c92428ac2b56323ae34e7d5738fee92ceacd47c1 100644 (file)
--- 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