wok-next rev 20643

fix grub2-efi arch for x86_64 (again)
author Pascal Bellard <pascal.bellard@slitaz.org>
date Tue May 01 15:46:52 2018 +0200 (2018-05-01)
parents b127c8621a46
children ef21df344980
files grub2/receipt
line diff
     1.1 --- a/grub2/receipt	Tue May 01 15:45:21 2018 +0200
     1.2 +++ b/grub2/receipt	Tue May 01 15:46:52 2018 +0200
     1.3 @@ -67,7 +67,7 @@
     1.4  				scsi loopback normal configfile gzio all_video efi_gop efi_uga \
     1.5  				gfxterm gettext echo boot chain || return 1
     1.6  
     1.7 -				install -Dm644 $src/bootia32.efi $install/boot/efi/boot/bootia32.efi
     1.8 +				install -Dm644 $src/$bootimg $install/boot/efi/boot/$bootimg
     1.9  				;;
    1.10  	esac
    1.11  }