On 27.11.2023 15:13, Oleksii Kurochko wrote: > --- a/xen/arch/ppc/include/asm/grant_table.h > +++ /dev/null > @@ -1,5 +0,0 @@ > -/* SPDX-License-Identifier: GPL-2.0-only */ > -#ifndef __ASM_PPC_GRANT_TABLE_H__ > -#define __ASM_PPC_GRANT_TABLE_H__ > - > -#endif /* __ASM_PPC_GRANT_TABLE_H__ */
Removing this header would be correct only if GRANT_TABLE had a "depends on !PPC", I'm afraid. Recall that the earlier randconfig adjustment in CI was actually requested to be undone, at which point what an arch's defconfig says isn't necessarily what a randconfig should use. Jan