Gentoo Archives: gentoo-dev

From:	"Michał Górny" <mgorny@g.o>
To:	gentoo-dev@l.g.o
Cc:	"Michał Górny" <mgorny@g.o>, floppym@g.o, base-system@g.o
Subject:	[gentoo-dev] [PATCH 06/17] profiles: Remove unused GRUB_PLATFORMS
Date:	Thu, 26 May 2016 18:47:23
Message-Id:	`20160526184353.1294-7-mgorny@gentoo.org`
In Reply to:	[gentoo-dev] [PATCH 00/17] USE_EXPAND cleanup by "Michał Górny"

1	---
2	profiles/desc/grub_platforms.desc \| 2 --
3	1 file changed, 2 deletions(-)
4
5	diff --git a/profiles/desc/grub_platforms.desc b/profiles/desc/grub_platforms.desc
6	index 34420c8..dcb57b2 100644
7	--- a/profiles/desc/grub_platforms.desc
8	+++ b/profiles/desc/grub_platforms.desc
9	@@ -7,7 +7,6 @@
10	# Keep it sorted.
11
12	coreboot - Coreboot platform support
13	-efi - Native EFI platform support
14	efi-32 - EFI 32 bit platform support (Old MACs)
15	efi-64 - EFI 64 bit platform support
16	emu - Emulation platform support
17	@@ -18,5 +17,4 @@ pc - PC platform support
18	qemu - QEMU platform support
19	qemu-mips - QEMU MIPS platform support
20	uboot - U-Boot platform support
21	-yeeloong - YEEELONG MIPS platform support
22	xen - XEN (pvgrub2) platform support
23	--
24	2.8.3