From b7c9d393d60957b901418359d2cf5d276bcc5e4b Mon Sep 17 00:00:00 2001 From: Tom Tromey Date: Tue, 16 Nov 2021 09:11:41 -0700 Subject: [PATCH] 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. --- gdbserver/Makefile.in | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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 -- 2.30.2