diff options
author | Tom Tromey <tromey@adacore.com> | 2021-11-16 09:11:41 -0700 |
---|---|---|
committer | Tom Tromey <tromey@adacore.com> | 2021-11-16 09:13:24 -0700 |
commit | b7c9d393d60957b901418359d2cf5d276bcc5e4b (patch) | |
tree | 8ffbba1a94ac0fc0f3e63964aa956a85ea298423 /gdbserver | |
parent | 2cb973527e6c5121cb53d97e1059f765f69ae052 (diff) | |
download | gdb-b7c9d393d60957b901418359d2cf5d276bcc5e4b.zip gdb-b7c9d393d60957b901418359d2cf5d276bcc5e4b.tar.gz gdb-b7c9d393d60957b901418359d2cf5d276bcc5e4b.tar.bz2 |
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.
Diffstat (limited to 'gdbserver')
-rw-r--r-- | gdbserver/Makefile.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gdbserver/Makefile.in b/gdbserver/Makefile.in index 71c3c4a..34c881d 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 |