From ac8bbeda95a4badd42bbbb94b1119309f23ba305 Mon Sep 17 00:00:00 2001 From: Christopher Baines Date: Sat, 10 Nov 2018 10:12:49 +0000 Subject: Work around grub --- gnu/bootloader/grub.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/bootloader/grub.scm b/gnu/bootloader/grub.scm index d984d5f5e3..661b9ba85a 100644 --- a/gnu/bootloader/grub.scm +++ b/gnu/bootloader/grub.scm @@ -334,8 +334,8 @@ entries corresponding to old generations of the system." ;; Use the right file names for KERNEL and INITRD in case ;; DEVICE-MOUNT-POINT is not "/", meaning that the store is on a ;; separate partition. - (let ((kernel (strip-mount-point device-mount-point kernel)) - (initrd (strip-mount-point device-mount-point initrd))) + (let ((kernel kernel) + (initrd initrd)) #~(format port "menuentry ~s { ~a linux ~a ~a -- cgit v1.2.3