summaryrefslogtreecommitdiff
path: root/gnu/packages
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 /gnu/packages
parent6f48d9db10231857f523f1cb467ee903fd956fcb (diff)
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.
Diffstat (limited to 'gnu/packages')
-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