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