Hei hei,

On Fri, Jul 16, 2021 at 01:32:29PM +0200, Guillermo Rodriguez Garcia wrote:
> I notice that the kernelconfig files changes depending on the host gcc
> version; in particular depending on supported gcc plugins.
> 
> However this does not seem to make much sense -- the kernel will not be
> built using the host gcc; it will be built using the cross compiler from
> the toolchain.
> 
> Is it possible to avoid this?

IIRC this was addressed several times in recent ptxdist versions:

- ptxdist-2021.04.0-14-g533f7709f ("kernel/kernel-template: set PTXDIST_NO_GCC_PLUGINS=1 in _MAKE_ENV as well")
- ptxdist-2021.03.0-69-g7a90f622f ("template: kernel: fix disabling gcc plugins for >= v5.11")
- ptxdist-2021.03.0-33-g114fecbd4 ("kernel: really fix disabling gcc plugins for >= v5.11)
- ptxdist-2021.02.0-41-gd57abb428 ("kernel: fix disabling gcc plugins for >= v5.11")

… and maybe more?

Or is yours another problem?

Greets
Alex

-- 
/"\ ASCII RIBBON | »With the first link, the chain is forged. The first
\ / CAMPAIGN     | speech censured, the first thought forbidden, the
 X  AGAINST      | first freedom denied, chains us all irrevocably.«
/ \ HTML MAIL    | (Jean-Luc Picard, quoting Judge Aaron Satie)