]> git.ipfire.org Git - thirdparty/systemd.git/commitdiff
mkosi: Make sure we build kernel headers
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Wed, 12 Jul 2023 06:52:47 +0000 (08:52 +0200)
committerLuca Boccassi <luca.boccassi@gmail.com>
Wed, 12 Jul 2023 14:07:15 +0000 (15:07 +0100)
Required for building kernel selftests

mkosi.presets/20-final/mkosi.kernel.build

index ed355abd205f221c3cac51f35c7e45463958b93d..c99d365d8b6848aa464ba68d250e7f9ea0240bf2 100755 (executable)
@@ -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"