diff options
author | Ludovic Courtès <ludo@gnu.org> | 2016-12-16 14:44:37 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2016-12-16 14:45:56 +0100 |
commit | 3eee16130d858ae96510ec1c7d38d31290de2699 (patch) | |
tree | 1c34d91218fdfc66ac2fa3d1a77e5287769724f1 /emacs | |
parent | 5597b3ae0809abd9d94099ea5cd09c2a176e3f6f (diff) |
gnu: grub: Add dependency on efibootmgr.
Suggested by Marius Bakke <mbakke@fastmail.com>.
* gnu/packages/grub.scm (grub)[arguments]: In 'patch-stuff', set
efibootmgr absolute file name in 'platform.c'.
[inputs]: Add EFIBOOTMGR.
Diffstat (limited to 'emacs')
0 files changed, 0 insertions, 0 deletions