mirror of
https://github.com/systemd/systemd.git
synced 2025-03-08 08:58:27 +03:00
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.
This commit is contained in:
parent
66e089af85
commit
1adae328ed
@ -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"
|
||||
|
Loading…
x
Reference in New Issue
Block a user