Skip to content
Snippets Groups Projects

user/grub: -efi should pull in the bits needed to make it work

Merged user/grub: -efi should pull in the bits needed to make it work
grub.efi into master
Merged Síle Ekaterin Liszka requested to merge grub.efi into master
Compare
and
1 file
+ 1
− 1
Compare changes
  • Side-by-side
  • Inline
user/grub/APKBUILD
+ 1
− 1
@@ -132,7 +132,7 @@ bios() {
efi() {
pkgdesc="$pkgdesc (EFI version)"
depends="$pkgname"
depends="$pkgname efibootmgr efivar"
mkdir -p $subpkgdir/usr/lib/grub
mv $pkgdir/usr/lib/grub/*-efi $subpkgdir/usr/lib/grub/
}