diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-04-21 00:16:57 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-04-21 00:51:18 +0200 |
| commit | 605815023cd21becc0156916f4ce08950b4459e5 (patch) | |
| tree | 232f1624c8867f7874d62f7a760b2e6d60e660bf /doc | |
| parent | 52b5fe5bcf39ec54a7ff4f4230b4bd390b859a32 (diff) | |
| download | patches-605815023cd21becc0156916f4ce08950b4459e5.tar patches-605815023cd21becc0156916f4ce08950b4459e5.tar.gz | |
vm: Use a fixed FAT serial number for 'efi.img' in ISO images.
Partly fixes <https://bugs.gnu.org/35283>.
* gnu/build/vm.scm (make-iso9660-image): Set the
'GRUB_FAT_SERIAL_NUMBER' environment variable.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions