# HG changeset patch
# User Tassilo Philipp
# Date 1526568924 -7200
# Node ID b69f328cdfe6f9e084aa4195c700beee2242b545
# Parent  dd1d0b0fd896cd3a091639c3180098275806d95f
- simpler ./configure check if freebsd/mips platform is hard-float

diff -r dd1d0b0fd896 -r b69f328cdfe6 configure
--- a/configure	Wed May 16 18:27:59 2018 +0200
+++ b/configure	Thu May 17 16:55:24 2018 +0200
@@ -91,7 +91,7 @@
     ;;
   FreeBSD)
     if [ -z "${CFLAGS}" ]; then
-      if [ `uname -m` = "mips" ] && ! echo 'int main(){return (float)(int)&main;}' | cc -x c -o mips_float_test - >/dev/null 2>&1; then
+      if [ `uname -m` = "mips" ] && make -V MACHINE_ARCH | grep 'hf$' >/dev/null 2>&1; then
         # FBSD12-CURRENT/mipshf needs to be told explicitly to use -mhard_float (at least as of may 2018)
         printf "CFLAGS=-fPIC -mhard-float\n" >>$C
       else