On Wed, 12 May 2021 at 17:19, Philippe Mathieu-Daudé <f4...@amsat.org> wrote: > I was testing on CentOS 7 by accident, and noticed Peter reported the > same error on his "ppc64 box", so I figured it would be more useful > to the community if we could catch such error (old kernel headers) > before reaching Peter gating process. > > Peter, is your "ppc64 box" OS version in our set of supported ones?
Probably not, but it is the gcc compile farm box so upgrades of it are not in my control. I would be reluctant to lose ppc host coverage. (/etc/redhat-release says "CentOS Linux release 7.9.2009 (AltArch)".) That said, the compile farm does now seem to also have a ppc64 box running Debian bullseye, which we could perhaps switch to. thanks -- PMM