Searched refs:efi_file (Results 1 - 1 of 1) sorted by relevance

/osnet-11/usr/src/grub/grub2/util/
H A Dgrub-install.in458 efi_file=BOOTIA32.EFI ;;
460 efi_file=BOOTX64.EFI ;;
465 efi_file=BOOTIA64.EFI ;;
469 # efi_file, so that different versions can be installed in parallel.
472 efi_file=grubia32.efi ;;
474 efi_file=grubx64.efi ;;
479 efi_file=grubia64.efi ;;
481 efi_file=grub.efi ;;
496 efi_file=grub.efi
812 cp "${grubdir}/core.${imgext}" "${efidir}/${efi_file}" || exi
[all...]

Completed in 30 milliseconds