Index: stable/10/sys/boot/efi/Makefile.inc =================================================================== --- stable/10/sys/boot/efi/Makefile.inc (revision 293653) +++ stable/10/sys/boot/efi/Makefile.inc (revision 293654) @@ -1,21 +1,23 @@ # $FreeBSD$ BINDIR?= /boot .if ${MACHINE_CPUARCH} == "i386" CFLAGS+= -march=i386 +CFLAGS+= -msoft-float .endif # Options used when building app-specific efi components # See conf/kern.mk for the correct set of these -CFLAGS+= -ffreestanding -Wformat -msoft-float +CFLAGS+= -ffreestanding -Wformat LDFLAGS+= -nostdlib .if ${MACHINE_CPUARCH} == "amd64" CFLAGS+= -fshort-wchar CFLAGS+= -mno-red-zone CFLAGS+= -mno-mmx -mno-sse -mno-aes -mno-avx +CFLAGS+= -msoft-float .endif .include "../Makefile.inc"