projects / grub2.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be614d3) | patch
Adjust efi_distributor for some distributions
authorColin Watson <cjwatson@ubuntu.com>
Mon, 13 Jan 2014 12:13:27 +0000 (12:13 +0000)
committerFelix Zielcke <fzielcke@z-51.de>
Mon, 15 Jul 2024 15:05:20 +0000 (17:05 +0200)
commitcc9bfb6cfc1bb9366b7130e108d9054a30f61a2e
tree86274992cbbf983c692632cdb0ac6816317491batree | snapshot
parentbe614d372292ab651c758c6e327f404da6be2c98commit | diff
Adjust efi_distributor for some distributions

This is not a very good approach, and certainly not sanely upstreamable;
we probably need to split GRUB_DISTRIBUTOR into a couple of different
variables.

Bug-Ubuntu: https://bugs.launchpad.net/bugs/1242417
Bug-Debian: https://bugs.debian.org/932966
Forwarded: not-needed
Last-Update: 2019-08-06

Patch-Name: install-efi-adjust-distributor.patch

Gbp-Pq: Name install-efi-adjust-distributor.patch
util/grub-install.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.