[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#29404] [PATCH] bootloader: extlinux: Fix device tree path.
From: |
Mathieu Othacehe |
Subject: |
[bug#29404] [PATCH] bootloader: extlinux: Fix device tree path. |
Date: |
Wed, 22 Nov 2017 20:17:15 +0100 |
* 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 e5fdeb580..0db5598fc 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
--
2.15.0
- [bug#29404] [PATCH] bootloader: extlinux: Fix device tree path.,
Mathieu Othacehe <=