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

Pedro Alves
2019-08-19T18:29:25Z

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