From fe28e6e4e8986ce6b7500fca5cedf2f0d8df5458 Mon Sep 17 00:00:00 2001
From: Lionel Sambuc <lionel.sambuc@gmail.com>
Date: Sun, 3 Jul 2016 16:32:31 +0200
Subject: [PATCH] works better, but weird failures

---
 share/mk/bsd.own.mk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/share/mk/bsd.own.mk b/share/mk/bsd.own.mk
index eeee7cf01..8d7a4a44b 100644
--- a/share/mk/bsd.own.mk
+++ b/share/mk/bsd.own.mk
@@ -124,6 +124,7 @@ RELEASEMACHINEDIR:= evbearm-el
 #      at -O0, make sure it uses soft-float as the minix uKernel doesn't yet
 #      save / restore the hardware fpu context on ARM.
 CFLAGS+= -mno-implicit-float -fno-vectorize
+MKSOFTFLOAT=yes
 .endif
 
 .if ${HAVE_GCC:Dyes} == "yes" || \