From: Peter Michael Green <plugwash@raspbian.org>
Date: Sat, 7 Nov 2020 23:17:21 +0000 (+0000)
Subject: Edit configure.ac to select armv6 when using "arm-linux-gnueabihf"
X-Git-Tag: archive/raspbian/4.11.1-5+rpi1~3
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=1018b5cbd2c346fc843e61b7bf445f171a9d3cfe;p=ocaml.git

Edit configure.ac to select armv6 when using "arm-linux-gnueabihf"


Gbp-Pq: Name use-armv6-for-raspbian.patch
---

diff --git a/configure.ac b/configure.ac
index b3ebe744..1fb75673 100644
--- a/configure.ac
+++ b/configure.ac
@@ -932,7 +932,7 @@ AS_CASE([$host],
   [armv5*-*-linux-gnueabi],
     [arch=arm; model=armv5; system=linux_eabi],
   [arm*-*-linux-gnueabihf],
-    [arch=arm; system=linux_eabihf],
+    [arch=arm; model=armv6; system=linux_eabihf],
   [arm*-*-linux-gnueabi],
     [arch=arm; system=linux_eabi],
   [arm*-*-openbsd*],