#!/bin/sh
set -e
mkdir -p /boot/efi/boot/EFI/

if [ -f "/boot/efi/EFI/BOOT/BOOTLOONGARCH64.EFI" ]; then
   cp /boot/efi/EFI/BOOT/BOOTLOONGARCH64.EFI /boot/efi/EFI/BOOT/BOOTLOONGARCH.EFI
fi

exec grub-mkconfig  -o /boot/efi/boot/EFI/grub.cfg "$@"
