Changeset 58496 in vbox for trunk/src/VBox/Devices/EFI/Firmware

Timestamp:

Oct 29, 2015 5:43:09 PM (9 years ago)

Author:

vboxsync

Message:

EFI/Firmware/Makefile.kmk: VBOX_WITH_EDK2_REV isn't used; shot at the kmk_redirect weirdness on efi2.

File:

• trunk/src/VBox/Devices/EFI/Firmware/Makefile.kmk (modified) (2 diffs)

trunk/src/VBox/Devices/EFI/Firmware/Makefile.kmk

@@ -216 +216 @@
  VBOX_EFI_REDIRECT_E_EQUAL:=$(EQUAL)
  VBOX_EFI_BUILD_CMD = $(REDIRECT) \
-        -E 'PATH=$(VBOX_PATH_STAGE_EFI_BLDPROGS)$(VBOX_SEP)$(PATH)' \
+        -E 'PATH=$(VBOX_PATH_STAGE_EFI_BLDPROGS)$(VBOX_SEP)$(PATH);' \
         -E 'INCLUDE=$(PATH_ROOT)/include$(VBOX_SEP)$(PATH_OUT)$(VBOX_SEP)$(VBOX_SEP)$(PATH_TOOL_$(VBOX_VCC_TOOL)_INC)$(INCLUDE)' \
         -E 'COMSPEC=$(windir)\system32\cmd.exe'
@@ -242 +242 @@
         -C '$(VBOX_PATH_EFI_FIRMWARE)' \
         -- $(VBOX_BLD_PYTHON) "$(VBOX_PATH_EFI_FIRMWARE)/BaseTools/Source/Python/build/build.py" \
-        -D VBOX_WITH_EDK2_REV=13361 \
         -D VBOX=1 \
         -D VBOX_WITH_OVMF=1 \