From 33c337e484d39ae86b0f2752336334a2d84c8c2d Mon Sep 17 00:00:00 2001 From: Andrew Robbins Date: Sun, 27 Aug 2017 23:19:19 -0400 Subject: Alter GRUB image name in its default 'install' file The produced GRUB image now has a more generalized name for applicability to disparate platform builds (e.g. EFI vs. bootable floppy image). --- projects/grub/configs/install | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/projects/grub/configs/install b/projects/grub/configs/install index dead10fa..b167d022 100644 --- a/projects/grub/configs/install +++ b/projects/grub/configs/install @@ -1 +1 @@ -grub.elf:grub.elf +grub2:grub2 -- cgit v1.2.3-70-g09d2