From: Jan Stancek on gitlab.com https://gitlab.com/cki-project/kernel-ark/-/merge_requests/3738#note_2400827292 > previously no build would see it when checking this condition so RPM_VMLINUX_H was always an empty variable ``` if [ -f $DevelDir/vmlinux.h ]; then RPM_VMLINUX_H=$DevelDir/vmlinux.h ``` This condition is here only for the `tools` build pipeline. e.g. https://gitlab.com/redhat/red-hat-ci-tools/kernel/cki-internal-pipelines/cki- trusted-contributors/-/jobs/9417841531 shows ``` 00:18:32 + RPM_VMLINUX_H=/tmp/rpmbuild/BUILD/kernel-6.14.0-build/BUILDROOT/usr /src/kernels/6.14.0-0.rc6.53.3738_1717541326.eln.ppc64le/vmlinux.h 00:18:32 + echo /tmp/rpmbuild/BUILD/kernel-6.14.0-build/BUILDROOT/usr/src/kern els/6.14.0-0.rc6.53.3738_1717541326.eln.ppc64le/vmlinux.h ``` CKI pipeline provides `$DevelDir/vmlinux.h` in `tools` builds, because there is no kernel build (09b26cee0ed8 ("kernel.spec: Add support to use vmlinux.h")) -- _______________________________________________ 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 Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue