From de37f3e9c283aa88d20f5e4edd7755d0b8696df8 Mon Sep 17 00:00:00 2001
From: valtzu <valtzu@gmail.com>
Date: Sun, 24 Sep 2023 20:52:26 +0300
Subject: [PATCH] Fail build if firmware fetch fails

---
 mkosi.build | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/mkosi.build b/mkosi.build
index 86aa557..79af115 100755
--- a/mkosi.build
+++ b/mkosi.build
@@ -38,5 +38,6 @@ kver=$(basename $DESTDIR/usr/lib/modules/*-v8+)
 
 mv $DESTDIR/efi/kernel8.img $DESTDIR/usr/lib/modules/$kver/vmlinuz
 
-curl -L 'https://github.com/valtzu/rpi-efi-firmware/releases/download/0.1.0/RPI_EFI.fd' > $DESTDIR/efi/RPI_EFI.fd
+curl --fail -L 'https://github.com/valtzu/rpi-efi-firmware/releases/download/0.1.1/RPI_EFI.fd' -o $DESTDIR/efi/RPI_EFI.fd
+