Fix gdb snapshots
authorTom Tromey <tom@tromey.com>
Wed, 29 Nov 2017 16:27:40 +0000 (09:27 -0700)
committerTom Tromey <tom@tromey.com>
Wed, 29 Nov 2017 18:56:40 +0000 (11:56 -0700)
commit5dcf52c19f7045fb179f703426d345b8a81d2210
treeb89aa4df94d6c4156b9238e856a9fb19e8e2965b
parent6cf829987c6bc9ae61c7c9e8b4c71c4eea8ba2f9
Fix gdb snapshots

Joel pointed out that gdb snapshots were broken by my Makefile patch
series.  The bug is that rmdir in distclean was failing, because the
directory did not exist.  This fixes the bug by only invoking rmdir when
the directory exists.

Tested using "src-release.sh gdb".

2017-11-29  Tom Tromey  <tom@tromey.com>

* Makefile.in (distclean): Handle the case where rmdir fails.
gdb/ChangeLog
gdb/Makefile.in