Changeset 42804 in vbox

Timestamp:

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

Author:

vboxsync

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.