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/build | |
| 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/build')
0 files changed, 0 insertions, 0 deletions