From: Ximin Luo <infinity0@debian.org>
Date: Fri, 21 Jul 2017 15:33:31 +0000 (+0200)
Subject: Refresh patches
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~51
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=3544acad2865210fbd02c7a515b5e45267f10a41;p=ocaml.git

Refresh patches
---

diff --git a/debian/patches/0001-Pass-no-relax-to-ld-on-alpha.patch b/debian/patches/0001-Pass-no-relax-to-ld-on-alpha.patch
index 4a2d663e..208b5f72 100644
--- a/debian/patches/0001-Pass-no-relax-to-ld-on-alpha.patch
+++ b/debian/patches/0001-Pass-no-relax-to-ld-on-alpha.patch
@@ -20,7 +20,7 @@ code (bug#338437)
    *,mips-*-irix6*)
      # Turn off warning "unused library"
      bytecclinkopts="-n32 -Wl,-woff,84";;
-@@ -972,6 +973,7 @@
+@@ -982,6 +983,7 @@
  case "$arch,$nativecc,$system,$model" in
    *,*,nextstep,*)      nativecclinkopts="-posix";;
    *,*,rhapsody,*)      if $arch64; then partialld="ld -r -arch ppc64"; fi;;
diff --git a/debian/patches/0002-Call-ld-with-proper-flags.patch b/debian/patches/0002-Call-ld-with-proper-flags.patch
index da9d8063..29aca4e0 100644
--- a/debian/patches/0002-Call-ld-with-proper-flags.patch
+++ b/debian/patches/0002-Call-ld-with-proper-flags.patch
@@ -11,7 +11,7 @@ gcc.
 
 --- a/configure
 +++ b/configure
-@@ -2039,7 +2039,7 @@
+@@ -2049,7 +2049,7 @@
  echo "OTHERLIBRARIES=$otherlibraries" >> Makefile
  echo "CC_PROFILE=$cc_profile" >> Makefile
  echo "SYSTHREAD_SUPPORT=$systhread_support" >> Makefile