From: Tom Tromey Date: Tue, 16 Nov 2021 16:11:41 +0000 (-0700) Subject: Remove config.cache in gdbserver's "distclean" X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b7c9d393d60957b901418359d2cf5d276bcc5e4b;p=binutils-gdb.git 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 71c3c4ad959..34c881d9603 100644 --- 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