diff options
| author | Christopher Baines <mail@cbaines.net> | 2018-11-10 10:12:49 +0000 |
|---|---|---|
| committer | Christopher Baines <mail@cbaines.net> | 2019-07-05 07:54:05 +0100 |
| commit | ac8bbeda95a4badd42bbbb94b1119309f23ba305 (patch) | |
| tree | a6c9cc33288b4a341baea7499a0b6adfae6ba025 | |
| parent | 96378dfacf97e424e7d503f9c58281a28955d8f9 (diff) | |
| download | guix-for-beid-updates.tar guix-for-beid-updates.tar.gz | |
Work around grubguix-for-beid-updates
| -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 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 |