From: Peter Michael Green <plugwash@raspbian.org>
Date: Wed, 20 Sep 2023 15:06:07 +0000 (+0100)
Subject: Edit configure.ac to select armv6 when using "arm-linux-gnueabihf"
X-Git-Tag: archive/raspbian/4.14.1-1+rpi1~3
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=a7d8c428d8591d668cbedfb79878dd98a4e8bf73;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 a4492466..84efe82c 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1092,7 +1092,7 @@ AS_CASE([$host],
   [armv5*-*-linux-*eabi],
     [arch=arm; model=armv5; system=linux_eabi],
   [arm*-*-linux-*eabihf],
-    [arch=arm; system=linux_eabihf],
+    [arch=arm; model=armv6; system=linux_eabihf],
   [arm*-*-linux-*eabi],
     [arch=arm; system=linux_eabi],
   [arm*-*-openbsd*],