diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-04-20 23:52:09 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-04-21 00:51:18 +0200 |
| commit | 52b5fe5bcf39ec54a7ff4f4230b4bd390b859a32 (patch) | |
| tree | ee8d1f60fecce7b170e02bd1c142186dc43d05eb /gnu/packages/bootloaders.scm | |
| parent | 6901b9248ea21f81f033e7b0de32502e389a5b71 (diff) | |
| download | patches-52b5fe5bcf39ec54a7ff4f4230b4bd390b859a32.tar patches-52b5fe5bcf39ec54a7ff4f4230b4bd390b859a32.tar.gz | |
gnu: grub: 'grub-mkrescue' honors 'GRUB_FAT_SERIAL_NUMBER'.
* gnu/packages/patches/grub-efi-fat-serial-number.patch: New file.
* gnu/packages/bootloaders.scm (grub)[source](patches): Add it.
* gnu/local.mk (dist_patch_DATA): Add it.
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 d6ef7d52b5..b4eabaea48 100644 --- a/gnu/packages/bootloaders.scm +++ b/gnu/packages/bootloaders.scm @@ -90,7 +90,8 @@ (base32 "03vvdfhdmf16121v7xs8is2krwnv15wpkhkf16a4yf8nsfc3f2w1")) (patches (search-patches "grub-check-error-efibootmgr.patch" - "grub-binutils-compat.patch")))) + "grub-binutils-compat.patch" + "grub-efi-fat-serial-number.patch")))) (build-system gnu-build-system) (arguments `(#:phases (modify-phases %standard-phases |