[PATCH 0/3] some minor Makefile improvements

Tom Tromey
2018-12-24T21:09:33Z

This short series makes a few minor improvements to the gdb Makefile.
I think each patch is self-explanatory.

I tested this on x86-64 Fedora 28 by doing various rebuilds, and also
running some tests to ensure that the first patch doesn't affect
correctness.

However, I wasn't able to test this on the buildbot -- the Fedora
buildbot has stopped working entirely for me, and "pip" couldn't
install one, either :-( So, the last patch in particular requires some
extra scrutiny.

Tom