Makefiles: Remove pipes on clean
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 12 Oct 2014 16:17:23 +0000 (17:17 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 19 Oct 2014 20:14:57 +0000 (21:14 +0100)
commit838c6ad67f46a7e0a195f5b4f8caf1cc564d5e49
tree28440da9a2e3834af00c48d0146e9596188b5b68
parent9ec928894e16fe538a4764ac493d939cd08e0079
Makefiles: Remove pipes on clean

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