aboutsummaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorChristopher Baines <mail@cbaines.net>2018-11-10 10:12:49 +0000
committerChristopher Baines <mail@cbaines.net>2019-03-01 07:12:10 +0000
commit8a7f5ebf9596b852966e0b9c0a3bbe2f4598eaa6 (patch)
treea8e9316fecaa4bf7078012ecdd96744821c66f3c /gnu
parent4e88681cb50c366f9d0268aefd0987dfa012a252 (diff)
downloadguix-8a7f5ebf9596b852966e0b9c0a3bbe2f4598eaa6.tar
guix-8a7f5ebf9596b852966e0b9c0a3bbe2f4598eaa6.tar.gz
Work around grubguix-for-beid
Diffstat (limited to 'gnu')
-rw-r--r--gnu/bootloader/grub.scm4
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