Merge branch 'master' of chiark:public-git/adns

[adns] / settings.make.in

diff --git a/settings.make.in b/settings.make.in
index 81e1bb3..3e14589 100644 (file)
--- a/settings.make.in
+++ b/settings.make.in
@@ -27,6 +27,8 @@ all:                  $(TARGETS)
 
 clean mostlyclean:
                rm -f *.o *.tmp* *.so *.so.* pipe.*
+               rm -f output-*.err output-*.leftover
+               rm -f output-*.out output-*.report
 
 distclean:             clean
                rm -f $(TARGETS) *~ ./#*# core *.orig *.rej Makefile config.h