diff options
author | davidovski <david@davidovski.xyz> | 2022-10-22 16:29:29 +0100 |
---|---|---|
committer | davidovski <david@davidovski.xyz> | 2022-10-22 16:29:29 +0100 |
commit | f99268f797c120a24030a573ef22813cd018beb5 (patch) | |
tree | ee18857a5eda7bc94286e3924dc2209aea7b92c4 /repo/grub | |
parent | 95545d88b997a17ff03bb164af33c33e2a12d693 (diff) |
Added unrar
Diffstat (limited to 'repo/grub')
-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 } |