On Wed, Feb 28, 2024 at 5:35 PM Tom Tromey <t...@tromey.com> wrote: > > >>>>> "Andrew" == Andrew Pinski <pins...@gmail.com> writes: > > Andrew> I don't know how to update the script server side after it is > Andrew> committed in git. the checker script is located in git though: > > Thanks, I didn't realize it was there. > > Could you check in your patch? > IMO it seems obvious.
Pushed as r14-9230-g5ff49272bf4eb6 (https://gcc.gnu.org/pipermail/gcc-patches/2024-February/646819.html). I noticed there should be other cleanup of the bug components there too but I will leave that for another time. Thanks, Andrew Pinski > > Tom
