[EXT] Re: [PATCH][gdb] Fix build breaker with gcc 4.8

[Steve Ellcey]

On Wed, 2019-06-19 at 17:00 +0200, Tom de Vries wrote:
> 
> 
> I think you're running into the same build breaker as me, for which I
> just pushed a fix (and not this one).
> 
> Thanks,
> - Tom

Yes, that patch fixes my build. Thanks.

Steve Ellcey
sellcey@marvell.com