diff options
| author | Daan De Meyer <daan.j.demeyer@gmail.com> | 2023-07-12 08:52:47 +0200 |
|---|---|---|
| committer | Luca Boccassi <luca.boccassi@gmail.com> | 2023-07-12 16:07:15 +0200 |
| commit | 076deab75d1b8371dd6709341d6bea69b42bf7d2 (patch) | |
| tree | fd5079ff9c689957d3dfb2863d3f11c09b40c276 /mkosi.presets/20-final | |
| parent | test: copy out the necessary test data before we start overmounting stuff (diff) | |
| download | systemd-076deab75d1b8371dd6709341d6bea69b42bf7d2.tar.xz systemd-076deab75d1b8371dd6709341d6bea69b42bf7d2.zip | |
mkosi: Make sure we build kernel headers
Required for building kernel selftests
Diffstat (limited to 'mkosi.presets/20-final')
| -rwxr-xr-x | mkosi.presets/20-final/mkosi.kernel.build | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mkosi.presets/20-final/mkosi.kernel.build b/mkosi.presets/20-final/mkosi.kernel.build index ed355abd20..c99d365d8b 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" |