Re: [PATCH v2 0/2] Add Rust support to source highlighting

[Pedro Alves <palves@redhat.com>]

On 8/19/19 5:19 PM, Tom Tromey wrote:
>>>>>> "Tom" == Tom Tromey <tom@tromey.com> writes:
> 
> Tom> This is v2 of the patch to add Rust support to source highlighting.
> Tom> This version addresses the --static-libstdc++ problem that was found
> Tom> with the previous patch, using the approach suggested by Pedro.
> 
> Tom> Let me know what you think.  If this seems ok, my plan is to send the
> Tom> top-level configury patch to gcc-patches for approval, and only then
> Tom> check everything in.  This plan avoids any problem if the gcc
> Tom> maintainers request a different option name.
> 
> I've checked in the gcc patch, and I've updated the gdb patch to account
> for other recent changes to source-cache.c.  I am going to check this in
> now.

Thanks for doing this.  I didn't realize until now that this series
included such a patch, but reading it now I'm quite happy with it.
Thanks for tackling that, and working with gcc upstream.

Thanks,
Pedro Alves