The EFI ABI requires the use of -mfloat-abi=soft, but other platforms
may require -mfloat-abi=hard.
Allow for this by using -mfloat-abi=soft only for EFI builds.
Signed-off-by: Michael Brown <mcb30@ipxe.org>
# ARM32-specific flags
#
-CFLAGS += -mthumb -mcpu=cortex-a15 -mabi=aapcs -mfloat-abi=soft
+CFLAGS += -mthumb -mcpu=cortex-a15 -mabi=aapcs
CFLAGS += -mword-relocations
ASFLAGS += -mthumb -mcpu=cortex-a15
# -*- makefile -*- : Force emacs to use Makefile mode
+# EFI uses the soft float ABI
+#
+CFLAGS += -mfloat-abi=soft
+
# Specify EFI image builder
#
ELF2EFI = $(ELF2EFI32)