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 /graph.js | |
| parent | 5597b3ae0809abd9d94099ea5cd09c2a176e3f6f (diff) | |
| download | guix-3eee16130d858ae96510ec1c7d38d31290de2699.tar.gz guix-3eee16130d858ae96510ec1c7d38d31290de2699.zip | |
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 'graph.js')
0 files changed, 0 insertions, 0 deletions