diff options
| -rw-r--r-- | gnu/bootloader/grub.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/bootloader/grub.scm b/gnu/bootloader/grub.scm index 161e8b3d02..6471730b06 100644 --- a/gnu/bootloader/grub.scm +++ b/gnu/bootloader/grub.scm @@ -312,8 +312,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 |