On Thu, 28 Sept 2023 at 16:42, Christophe Lyon
wrote:
>
> Hi Jonathan,
>
> Thanks for the heads up.
>
> We do run contrib/gcc_update --touch after applying patches, and before
> starting the build, but I realize it doesn't help in the case of
> bits/version.h
>
> It looks like we should run make
Hi Jonathan,
Thanks for the heads up.
We do run contrib/gcc_update --touch after applying patches, and before
starting the build, but I realize it doesn't help in the case of
bits/version.h
It looks like we should run make update-version?
Is that documented somewhere? (I'm wondering what's the l
The header needs to be regenerated. The changes to
the generated file were not in the diff posted to the mailing list
(but are committed to git).
On Mon, 25 Sept 2023 at 11:55, wrote:
>
> Dear contributor, our automatic CI has detected problems related to your
> patch(es). Please find some det
