Remove config.cache in gdbserver's "distclean"

PR gdb/28586 points out that "make distclean" fails to delete
config.cache from gdbserver/.  This patch fixes the bug, and removes a
duplicate "Makefile" deletion that was also pointed out in the PR.

diff --git a/gdbserver/Makefile.in b/gdbserver/Makefile.in
index 71c3c4ad95915e158676e03034295a96e391f7c5..34c881d96030a5fbf394cc3c5ee27396ae672d04 100644 (file)
--- a/gdbserver/Makefile.in
+++ b/gdbserver/Makefile.in
@@ -412,8 +412,7 @@ mostlyclean clean:
        done
 
 maintainer-clean realclean distclean: clean
-       rm -f Makefile config.status config.h stamp-h config.log
-       rm -f Makefile
+       rm -f Makefile config.status config.h stamp-h config.log config.cache
        for i in $(CONFIG_SRC_SUBDIR); do \
                rmdir $$i/$(DEPDIR); \
        done