clean targets: Delete $(TARGETS) too!

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

diff --git a/settings.make.in b/settings.make.in
index 26dd7ae325dae8ae6b05c50b6cb3690ae8959c0e..64c406e15d842cc9382c04e404dff05fcee56647 100644 (file)
--- a/settings.make.in
+++ b/settings.make.in
@@ -26,12 +26,13 @@ include             ../common.make
 all:                   $(TARGETS)
 
 clean mostlyclean:
+               rm -f $(TARGETS)
                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
+               rm -f *~ ./#*# core *.orig *.rej Makefile config.h
 
 distprep:              $(AUTOCSRCS) $(AUTOCHDRS)