use-armv6-for-raspbian
authorDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Tue, 26 Nov 2019 19:38:59 +0000 (19:38 +0000)
committerPeter Michael Green <plugwash@raspbian.org>
Tue, 26 Nov 2019 19:38:59 +0000 (19:38 +0000)
Gbp-Pq: Name use-armv6-for-raspbian.patch

configure.ac

index 82172d769c19368d908c2d84ef4c0fc9f142c7df..90058d7d24f44ec94a57067433d34e4f41a6f68a 100644 (file)
@@ -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*],