On 2020-12-08 9:51 a.m., Alexander Fedotov wrote:
> Well, I don't know if other GDB parts depend on the final name. I just
> followed common convention. If there are no such dependencies so I
> don't mind using your suggestion:)

GDB doesn't depend on a particular directory, I think it's better to 
follow the standards of the platform as much as possible.  Does the 
attached patch look ok to you?

Simon