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.
This commit is contained in:
Tom Tromey
2021-11-16 09:11:41 -07:00
parent 2cb973527e
commit b7c9d393d6

View File

@@ -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