From 076deab75d1b8371dd6709341d6bea69b42bf7d2 Mon Sep 17 00:00:00 2001 From: Daan De Meyer Date: Wed, 12 Jul 2023 08:52:47 +0200 Subject: [PATCH] mkosi: Make sure we build kernel headers Required for building kernel selftests --- mkosi.presets/20-final/mkosi.kernel.build | 1 + 1 file changed, 1 insertion(+) 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" -- 2.47.3