FreeBSD expects VFP, so use that as the default FPU.

Reviewed by: kan
2007-05-21 08:38:42 +00:00 · 2007-05-21 08:38:42 +00:00 · 67de64dde8
commit 67de64dde8
parent a8698e63bb
1 changed files with 3 additions and 0 deletions
--- a/contrib/gcc/config/arm/freebsd.h
+++ b/contrib/gcc/config/arm/freebsd.h
@ -120,3 +120,6 @@ do									\
    (void) sysarch (0, &s);						\
  }									\
 while (0)
+
+#undef FPUTYPE_DEFAULT
+#define FPUTYPE_DEFAULT FPUTYPE_VFP