summaryrefslogtreecommitdiff
path: root/gnu/system.scm
diff options
context:
space:
mode:
authorJan (janneke) Nieuwenhuizen <janneke@gnu.org>2020-06-29 15:24:45 +0200
committerJan (janneke) Nieuwenhuizen <janneke@gnu.org>2020-07-03 08:59:31 +0200
commitaa864ebdb01a7685401e2b143cb359b12175b46e (patch)
treeceb747d2476f43f6df1624ef621c9738aadb3e29 /gnu/system.scm
parent67d621c56eb3be0e9a5409e70bc5953d5ebf7865 (diff)
system: 'read-boot-parameters' bugfix for multiboot.
* gnu/system.scm (read-boot-parameters): Oops, only return value for multiboot-modules instead of (key value).
Diffstat (limited to 'gnu/system.scm')
-rw-r--r--gnu/system.scm5
1 files changed, 4 insertions, 1 deletions
diff --git a/gnu/system.scm b/gnu/system.scm
index 44baacee7b..6a39931a41 100644
--- a/gnu/system.scm
+++ b/gnu/system.scm
@@ -353,7 +353,10 @@ file system labels."
(('initrd (? string? file))
file)))
- (multiboot-modules (or (assq 'multiboot-modules rest) '()))
+ (multiboot-modules
+ (match (assq 'multiboot-modules rest)
+ ((_ args) args)
+ (#f '())))
(store-device
;; Linux device names like "/dev/sda1" are not suitable GRUB device