From 12ace252b9030b0cbbf536af9843361fffacb1ae Mon Sep 17 00:00:00 2001 From: Dylan Araps Date: Tue, 25 Jun 2019 17:06:59 +0300 Subject: [PATCH] grub: Fix error. --- core/grub/build | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/core/grub/build b/core/grub/build index 68019e14..fd152ce6 100755 --- a/core/grub/build +++ b/core/grub/build @@ -33,7 +33,5 @@ build_grub --with-platform=efi --disable-efiemu rm -f usr/lib/grub/*/kernel.exec rm -f usr/lib/grub/*/gdb_grub rm -f usr/lib/grub/*/gmodule.pl + rm -f usr/lib/charset.alias ) ||: - -# Remove conflicting file. -rm "$1/usr/lib/charset.alias"