Fail build if firmware fetch fails

valtzu · Sep 24, 2023 · de37f3e · de37f3e
1 parent 9d3d26f
commit de37f3e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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
+