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/bootloaders.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/bootloaders.scm')
| -rw-r--r-- | gnu/packages/bootloaders.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/packages/bootloaders.scm b/gnu/packages/bootloaders.scm index 727789a96e..e9abf399ab 100644 --- a/gnu/packages/bootloaders.scm +++ b/gnu/packages/bootloaders.scm @@ -85,7 +85,8 @@ (uri (string-append "mirror://gnu/grub/grub-" version ".tar.xz")) (sha256 (base32 - "03vvdfhdmf16121v7xs8is2krwnv15wpkhkf16a4yf8nsfc3f2w1")))) + "03vvdfhdmf16121v7xs8is2krwnv15wpkhkf16a4yf8nsfc3f2w1")) + (patches (search-patches "grub-check-error-efibootmgr.patch")))) (build-system gnu-build-system) (arguments `(#:phases (modify-phases %standard-phases |