diff options
| author | Jan (janneke) Nieuwenhuizen <janneke@gnu.org> | 2020-06-29 15:24:45 +0200 |
|---|---|---|
| committer | Jan (janneke) Nieuwenhuizen <janneke@gnu.org> | 2020-07-03 08:59:31 +0200 |
| commit | aa864ebdb01a7685401e2b143cb359b12175b46e (patch) | |
| tree | ceb747d2476f43f6df1624ef621c9738aadb3e29 /gnu/system.scm | |
| parent | 67d621c56eb3be0e9a5409e70bc5953d5ebf7865 (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.scm | 5 |
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 |