diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-02-07 11:14:09 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-02-07 11:15:33 +0100 |
| commit | ef753a1a8f9e7c971957abfda9b672a7728cd073 (patch) | |
| tree | 680b40c0435d1a4d3a44324d2b858a105df28c0b /gnu/packages | |
| parent | 6f48d9db10231857f523f1cb467ee903fd956fcb (diff) | |
| download | patches-ef753a1a8f9e7c971957abfda9b672a7728cd073.tar patches-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.
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/grub.scm | 6 |
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 |