diff options
author | Christopher Baines <mail@cbaines.net> | 2018-11-10 10:12:49 +0000 |
---|---|---|
committer | Christopher Baines <mail@cbaines.net> | 2019-03-01 07:12:10 +0000 |
commit | 8a7f5ebf9596b852966e0b9c0a3bbe2f4598eaa6 (patch) | |
tree | a8e9316fecaa4bf7078012ecdd96744821c66f3c /gnu | |
parent | 4e88681cb50c366f9d0268aefd0987dfa012a252 (diff) | |
download | guix-8a7f5ebf9596b852966e0b9c0a3bbe2f4598eaa6.tar guix-8a7f5ebf9596b852966e0b9c0a3bbe2f4598eaa6.tar.gz |
Work around grubguix-for-beid
Diffstat (limited to 'gnu')
-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 |