From: Josh Poimboeuf on gitlab.com https://gitlab.com/cki-project/kernel-ark/-/merge_requests/786#note_462760422 The CI failed with ``` Found CONFIG_INIT_STACK_NONE=y after generation, had CONFIG_INIT_STACK_NONE=is not set in Source tree ``` "make dist-configs" works fine on my local Fedora system. Is the CI build environment missing something -- e.g. does scripts/gcc-plugin.sh fail? -- such that CONFIG_GCC_PLUGINS doesn't get enabled? _______________________________________________ kernel mailing list -- kernel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to kernel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/kernel@xxxxxxxxxxxxxxxxxxxxxxx