diff options
author | Marius Bakke <mbakke@fastmail.com> | 2018-08-28 00:18:34 +0200 |
---|---|---|
committer | Marius Bakke <mbakke@fastmail.com> | 2018-08-28 01:19:28 +0200 |
commit | 526ce419303ac511be8d51b41471022bed472e6b (patch) | |
tree | 1d8475bc359713d6fa405116e556e901862563d7 /gnu/packages/linux.scm | |
parent | 2987b2e0d2dba6569799452353890ce5e967898d (diff) |
gnu: GRUB: Check for errors from efibootmgr.
* gnu/packages/patches/grub-check-error-efibootmgr.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it.
* gnu/packages/bootloaders.scm (grub)[source](patches): New field.
Diffstat (limited to 'gnu/packages/linux.scm')
0 files changed, 0 insertions, 0 deletions