Update raspbian patches for new upstream.

diff --git a/debian/patches/remove-gitattributes-that-cause-problems.patch b/debian/patches/remove-gitattributes-that-cause-problems.patch
index c44c47afab16f96198af82a102cd7813040320e3..bb544d2c2e8274e2ec521b9ab3a95621f6c38492 100644 (file)
--- a/debian/patches/remove-gitattributes-that-cause-problems.patch
+++ b/debian/patches/remove-gitattributes-that-cause-problems.patch
@@ -1,20 +1,15 @@
 From: Peter Michael Green <plugwash@raspbian.org>
-Date: Sat, 7 Dec 2019 05:28:18 +0000
-X-Dgit-Generated: 4.08.1-5+rpi1 4372289b19cfc4744b8e5c224da3b2f94ff5285d
 Subject: Remove gitattributes that cause problems for dgit.
 
-
----
-
-Index: tempdefuzz/.gitattributes
-===================================================================
---- tempdefuzz.orig/.gitattributes
-+++ tempdefuzz/.gitattributes
-@@ -140,7 +140,6 @@ menhir-bench.bash typo.missing-header ty
+diff --git a/.gitattributes b/.gitattributes
+index 956d2136..a278ffe0 100644
+--- a/.gitattributes
++++ b/.gitattributes
+@@ -151,7 +151,6 @@ menhir-bench.bash typo.missing-header typo.utf8
  *.check-program-output text eol=lf
  *.run text eol=lf
  
 -/tools/ci/appveyor/appveyor_build.cmd text eol=crlf
  
+ aclocal.m4 typo.tab
  configure.ac text eol=lf
- build-aux/compile text eol=lf

diff --git a/debian/patches/use-armv6-for-raspbian.patch b/debian/patches/use-armv6-for-raspbian.patch
index bc60639009641920a21e72c7405de14d77c590b9..8e3cc61f05b11e7f18d7b5d2b86d2a849579090a 100644 (file)
--- a/debian/patches/use-armv6-for-raspbian.patch
+++ b/debian/patches/use-armv6-for-raspbian.patch
@@ -1,14 +1,16 @@
 Description:  Edit configure.ac to select armv6 when using "arm-linux-gnueabihf"
 Author: Peter Michael Green <plugwash@raspbian.org>
 
---- ocaml-4.08.1.orig/configure.ac
-+++ ocaml-4.08.1/configure.ac
-@@ -871,7 +871,7 @@ AS_CASE([$host],
-   [armv5*-*-linux-gnueabi],
+diff --git a/configure.ac b/configure.ac
+index 9ac019f7..03f0fd95 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-gnueabihf],
+   [arm*-*-linux-*eabihf],
 -    [arch=arm; system=linux_eabihf],
 +    [arch=arm; model=armv6; system=linux_eabihf],
-   [arm*-*-linux-gnueabi],
+   [arm*-*-linux-*eabi],
      [arch=arm; system=linux_eabi],
    [arm*-*-openbsd*],