From: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Date: Tue, 26 Nov 2019 19:38:59 +0000 (+0000)
Subject: use-armv6-for-raspbian
X-Git-Tag: archive/raspbian/4.08.1-5+rpi1~4
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=1166de639da6ba57ee6ef15445210f8a3c436d43;p=ocaml.git

use-armv6-for-raspbian


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

diff --git a/configure.ac b/configure.ac
index 82172d76..90058d7d 100644
--- a/configure.ac
+++ b/configure.ac
@@ -871,7 +871,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*],