From: Peter Michael Green <plugwash@raspbian.org>
Date: Sat, 1 Oct 2022 14:27:35 +0000 (+0000)
Subject: Reapply lost change to fptools.m4
X-Git-Tag: archive/raspbian/9.0.2-4+rpi1^0
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=2bab48d1a871fa8d2ac545fd082cfcb3c6f14149;p=ghc.git

Reapply lost change to fptools.m4
---

diff --git a/m4/fptools.m4 b/m4/fptools.m4
index 662eb44f..e9a1e2aa 100644
--- a/m4/fptools.m4
+++ b/m4/fptools.m4
@@ -474,8 +474,8 @@ AC_DEFUN([GET_ARM_ISA],
                         ]
                 )],
                 [changequote(, )dnl
-                 ARM_ISA=ARMv7
-                 ARM_ISA_EXT="[VFPv3D16,NEON]"
+                 ARM_ISA=ARMv6
+                 ARM_ISA_EXT="[VFPv2]"
                  changequote([, ])dnl
                 ])
         ])