Changeset 42910 in vbox for trunk/src/VBox/Devices
- Timestamp:
- Aug 21, 2012 4:28:08 PM (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/VBox/Devices/EFI/efi_build.conf
r42876 r42910 16 16 EDK_PATCHES="$EDK_PATCHES MdePkg_Library_BaseIoLibIntrinsic_IoLibGcc.c" 17 17 EDK_PATCHES="$EDK_PATCHES UefiCpuPkg_CpuDxe_CpuGdt.c" 18 EDK_PATCHES="$EDK_PATCHES ShellPkg_Library_UefiShellLevel3CommandsLib" 18 19 # to -t parameter 19 20 VBOX_TOOLCHAIN=GCC44
Note:
See TracChangeset
for help on using the changeset viewer.