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.scm | |
| 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.scm')
0 files changed, 0 insertions, 0 deletions