From 1adae328ed8d4668ed68d5c3483b11b6fc89cad9 Mon Sep 17 00:00:00 2001 From: Daan De Meyer Date: Sat, 9 Sep 2023 11:31:26 +0200 Subject: [PATCH] mkosi: Make sure custom installkernel scripts are not used The kernel has this horrible build system feature where distros can ship /sbin/installkernel and it'll automatically be used by make install. Let's make sure that doesn't happen as on Debian this script puts the kernel under the wrong name causing mkosi build failures. --- mkosi.presets/system/mkosi.kernel.build | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/mkosi.presets/system/mkosi.kernel.build b/mkosi.presets/system/mkosi.kernel.build index 5938330d4b9..a21585c4cab 100755 --- a/mkosi.presets/system/mkosi.kernel.build +++ b/mkosi.presets/system/mkosi.kernel.build @@ -12,6 +12,11 @@ if [ -d "$SRCDIR"/mkosi.kernel/ ]; then cd "$SRCDIR" mkdir -p "$BUILDDIR" + # Prevent a distro's custom installkernel script from being used. + if [ -x /sbin/installkernel ]; then + mount --bind /dev/null /sbin/installkernel + fi + # Ensure fast incremental builds by fixating these values which usually change for each build. export KBUILD_BUILD_TIMESTAMP="Fri Jun 5 15:58:00 CEST 2015" export KBUILD_BUILD_HOST="mkosi" -- 2.47.3