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

Tom Tromey
2019-08-19T16:19:33Z

>>>>> "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.

Tom