From d10ba83a1b67f6a0b758a5e0f8cea0e34222ef7f Mon Sep 17 00:00:00 2001
From: Lennart Poettering <lennart@poettering.net>
Date: Thu, 21 Jun 2018 18:47:33 +0200
Subject: [PATCH] mkosi: update the boot loader from our freshly built one

---
 mkosi.build | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/mkosi.build b/mkosi.build
index b7b8c50..114e617 100755
--- a/mkosi.build
+++ b/mkosi.build
@@ -90,3 +90,8 @@ cat > "$DESTDIR"/etc/issue <<EOF
 Kernel \r on an \m (\l)
 
 EOF
+
+# Manually update the boot loader from the one we just built
+mkdir -p "$DESTDIR"/boot/efi/EFI/systemd "$DESTDIR"/boot/efi/EFI/BOOT
+cp "$DESTDIR"/usr/lib/systemd/boot/efi/systemd-bootx64.efi "$DESTDIR"/boot/efi/EFI/systemd/systemd-bootx64.efi
+cp "$DESTDIR"/usr/lib/systemd/boot/efi/systemd-bootx64.efi "$DESTDIR"/boot/efi/EFI/BOOT/bootx64.efi
-- 
2.7.4