diff options
| -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 |