diff options
author | Mathieu Othacehe <m.othacehe@gmail.com> | 2017-11-22 20:14:16 +0100 |
---|---|---|
committer | Mathieu Othacehe <m.othacehe@gmail.com> | 2017-11-23 20:07:04 +0100 |
commit | be07cc4549cc109c42e1a65d3d6caf9cab1895f8 (patch) | |
tree | 15d797e042d3bad06049342c8f69ae3b7d1020bd /gnu | |
parent | 7044b92dbd95bf4bd7a58cd245d41afe35e80971 (diff) | |
download | guix-be07cc4549cc109c42e1a65d3d6caf9cab1895f8.tar.gz |
bootloader: extlinux: Fix device tree path.
* gnu/bootloader/extlinux.scm (extlinux-configuration-file): Use kernel directory to format device tree file path.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/bootloader/extlinux.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/bootloader/extlinux.scm b/gnu/bootloader/extlinux.scm index e5fdeb5801..0db5598fc9 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 #$@kernel-arguments))))) (define builder |