Below is a completely untested patch, which I still expect to work. Chris
--- gnu-efi-3.0.18.orig/apps/Makefile +++ gnu-efi-3.0.18/apps/Makefile @@ -68,9 +68,9 @@ TARGET_RTDRIVERS = ifneq ($(HAVE_EFI_OBJCOPY),) -FORMAT := --target efi-app-$(ARCH) -$(TARGET_BSDRIVERS): FORMAT=--target efi-bsdrv-$(ARCH) -$(TARGET_RTDRIVERS): FORMAT=--target efi-rtdrv-$(ARCH) +FORMAT := --output-target efi-app-$(ARCH) +$(TARGET_BSDRIVERS): FORMAT=--output-target efi-bsdrv-$(ARCH) +$(TARGET_RTDRIVERS): FORMAT=--output-target efi-rtdrv-$(ARCH) else
