summary refs log tree commit diff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2017-02-07 11:14:09 +0100
committerLudovic Courtès <ludo@gnu.org>2017-02-07 11:15:33 +0100
commitef753a1a8f9e7c971957abfda9b672a7728cd073 (patch)
tree680b40c0435d1a4d3a44324d2b858a105df28c0b
parent6f48d9db10231857f523f1cb467ee903fd956fcb (diff)
downloadguix-ef753a1a8f9e7c971957abfda9b672a7728cd073.tar.gz
gnu: grub-efi: Really build the EFI variant.
Fixes a regression introduced in
d846834fc2b2f76aa2e258685bc211edd31866c5 where '--with-platform=efi'
would no longer be passed.

* gnu/packages/grub.scm (grub-efi)[arguments]: Provide a default value
for #:configure-flags.
-rw-r--r--gnu/packages/grub.scm6
1 files changed, 3 insertions, 3 deletions
diff --git a/gnu/packages/grub.scm b/gnu/packages/grub.scm
index 25c2d8076b..c6716a2f6f 100644
--- a/gnu/packages/grub.scm
+++ b/gnu/packages/grub.scm
@@ -1,5 +1,5 @@
 ;;; GNU Guix --- Functional package management for GNU
-;;; Copyright © 2013, 2014, 2015, 2016 Ludovic Courtès <ludo@gnu.org>
+;;; Copyright © 2013, 2014, 2015, 2016, 2017 Ludovic Courtès <ludo@gnu.org>
 ;;; Copyright © 2015 Mark H Weaver <mhw@netris.org>
 ;;; Copyright © 2015 Leo Famulari <leo@famulari.name>
 ;;; Copyright © 2016 Jan Nieuwenhuizen <janneke@gnu.org>
@@ -139,8 +139,8 @@ menu to select one of the installed operating systems.")
        ;; Search for 'OVMF' in "tests/util/grub-shell.in".
        #:tests? #f
        ,@(substitute-keyword-arguments (package-arguments grub)
-           ((#:configure-flags flags) `(cons* "--with-platform=efi"
-                                              ,flags))
+           ((#:configure-flags flags ''())
+            `(cons "--with-platform=efi" ,flags))
            ((#:phases phases)
             `(modify-phases ,phases
                (add-after 'patch-stuff 'use-absolute-efibootmgr-path