From: Daan De Meyer <daan.j.demeyer@gmail.com>
Date: Wed, 12 Jul 2023 06:52:47 +0000 (+0200)
Subject: mkosi: Make sure we build kernel headers
X-Git-Tag: v254-rc2~40
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=076deab75d1b8371dd6709341d6bea69b42bf7d2;p=thirdparty%2Fsystemd.git

mkosi: Make sure we build kernel headers

Required for building kernel selftests
---

diff --git a/mkosi.presets/20-final/mkosi.kernel.build b/mkosi.presets/20-final/mkosi.kernel.build
index ed355abd205..c99d365d8b6 100755
--- a/mkosi.presets/20-final/mkosi.kernel.build
+++ b/mkosi.presets/20-final/mkosi.kernel.build
@@ -19,6 +19,7 @@ if [ -d "$SRCDIR"/mkosi.kernel/ ]; then
 
     # Make sure systemd-boot boots this kernel and not the distro provided one by overriding the version.
     make O="$BUILDDIR" VERSION=99 -j "$(nproc)"
+    make O="$BUILDDIR" VERSION=99 -j "$(nproc)" headers
 
     KERNEL_RELEASE=$(make O="$BUILDDIR" VERSION=99 -s kernelrelease)
     mkdir -p "$DESTDIR/usr/lib/modules/$KERNEL_RELEASE"