From 89a8c19783328fb7c055ce15c4fa895e191d1530 Mon Sep 17 00:00:00 2001 From: Dylan Araps Date: Wed, 25 Mar 2020 16:32:58 +0200 Subject: [PATCH] grub: Remove pointless comment --- core/grub/build | 1 - 1 file changed, 1 deletion(-) diff --git a/core/grub/build b/core/grub/build index c937d263..0fcd6b4b 100755 --- a/core/grub/build +++ b/core/grub/build @@ -39,7 +39,6 @@ build_grub() ( build_grub --with-platform=pc build_grub --with-platform=efi --disable-efiemu -# Install /etc/default/grub (used by grub-mkconfig). install -Dm0644 grub.default "$1/etc/default/grub" # Remove gdb debugging files.