Devices

Timestamp:

Aug 14, 2012 1:15:10 PM (13 years ago)

Author:

vboxsync

svn:sync-xref-src-repo-rev:

80045

Message:

EFI/build: UefiCpuPkg_CpuDxe_CpuGdt.c patch added to the patch list.

File:

trunk/src/VBox/Devices/EFI/efi_build.conf

r42801	r42804
15	15	EDK_PATCHES="$EDK_PATCHES PcAtChipsetPkg_Bus_Pci_IdeControllerDxe_IdeController.c"
16	16	EDK_PATCHES="$EDK_PATCHES MdePkg_Library_BaseIoLibIntrinsic_IoLibGcc.c"
	17	EDK_PATCHES="$EDK_PATCHES UefiCpuPkg_CpuDxe_CpuGdt.c"
17	18	# to -t parameter
18	19	VBOX_TOOLCHAIN=GCC44

Note: See TracChangeset for help on using the changeset viewer.