[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
02/02: bootloader: extlinux: Fix device tree path.
From: |
Mathieu Othacehe |
Subject: |
02/02: bootloader: extlinux: Fix device tree path. |
Date: |
Thu, 23 Nov 2017 14:07:56 -0500 (EST) |
mothacehe pushed a commit to branch master
in repository guix.
commit be07cc4549cc109c42e1a65d3d6caf9cab1895f8
Author: Mathieu Othacehe <address@hidden>
Date: Wed Nov 22 20:14:16 2017 +0100
bootloader: extlinux: Fix device tree path.
* gnu/bootloader/extlinux.scm (extlinux-configuration-file): Use kernel
directory to format device tree file path.
---
gnu/bootloader/extlinux.scm | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gnu/bootloader/extlinux.scm b/gnu/bootloader/extlinux.scm
index e5fdeb5..0db5598 100644
--- a/gnu/bootloader/extlinux.scm
+++ b/gnu/bootloader/extlinux.scm
@@ -53,7 +53,7 @@ corresponding to old generations of the system."
APPEND ~a
~%"
#$label #$label
- #$kernel #$kernel #$initrd
+ #$kernel (dirname #$kernel) #$initrd
(string-join (list address@hidden)))))
(define builder