From 422c160db1ef6e13ac643f33ef8c204650183345 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 09814d846..99bcc6645 100644
--- a/share/mk/bsd.own.mk
+++ b/share/mk/bsd.own.mk
@@ -119,6 +119,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" || \