diff options
Diffstat (limited to 'repo/grub/grub.xibuild')
| -rw-r--r-- | repo/grub/grub.xibuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/repo/grub/grub.xibuild b/repo/grub/grub.xibuild index 049328b..ac331b3 100644 --- a/repo/grub/grub.xibuild +++ b/repo/grub/grub.xibuild @@ -20,7 +20,7 @@ prepare () { build () { ./configure --prefix=/usr --sysconfdir=/etc --disable-werror \ - --disable-efiemu --enable-grub-mkfont --with-platform=efi + --disable-efiemu --enable-grub-mkfont --with-platform=efi --with-platform=pc make } |