Remove config.cache in gdbserver's "distclean"
authorTom Tromey <tromey@adacore.com>
Tue, 16 Nov 2021 16:11:41 +0000 (09:11 -0700)
committerTom Tromey <tromey@adacore.com>
Tue, 16 Nov 2021 16:13:24 +0000 (09:13 -0700)
commitb7c9d393d60957b901418359d2cf5d276bcc5e4b
tree8ffbba1a94ac0fc0f3e63964aa956a85ea298423
parent2cb973527e6c5121cb53d97e1059f765f69ae052
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