Commit 3c79a9cd authored by intrigeri's avatar intrigeri
Browse files

Repair 32-bit EFI boot (refs: #15806)

It was broken while switching 64-bit EFI to GRUB.
parent fbc34abe
......@@ -135,3 +135,7 @@ cp "chroot/boot/grub/unicode.pf2" "${grub_dir}"
# Append our custom kernel command-line parameters
sed -i -E "s#AMNESIA_APPEND#${AMNESIA_APPEND}#g" "binary/EFI/debian/grub.cfg"
# Copy the configuration for 32-bit EFI, which looks there
# due to -p "/efi/debian/grub"
cp -a "binary/EFI/debian/grub.cfg" "binary/EFI/debian/grub/grub.cfg"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment