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/tests | |
parent | 6901b9248ea21f81f033e7b0de32502e389a5b71 (diff) | |
download | guix-52b5fe5bcf39ec54a7ff4f4230b4bd390b859a32.tar.gz guix-52b5fe5bcf39ec54a7ff4f4230b4bd390b859a32.zip |
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/tests')
0 files changed, 0 insertions, 0 deletions