chiark / gitweb /
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>
Mon, 13 Oct 2014 00:27:21 +0000 (01:27 +0100)
commit758b69446b7cd50beaaf7851ca5c1b054ad66f2f
tree28440da9a2e3834af00c48d0146e9596188b5b68
parentd7c7a85409cab2eac119ddbd5963b2974f7aaf25
Makefiles: Remove pipes on clean

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