From: Bdale Garbee Date: Tue, 25 Feb 2020 22:02:08 +0000 (-0700) Subject: Wabi patch already merged in new upstream version X-Git-Tag: debian/1.10-1~11 X-Git-Url: https://git.gag.com/?a=commitdiff_plain;h=eff6930a7860e84acb666b594c34de5f3b041ef3;p=debian%2Fgzip Wabi patch already merged in new upstream version --- diff --git a/debian/patches/disable-broken-Wabi.patch b/debian/patches/disable-broken-Wabi.patch deleted file mode 100644 index 6f8b395..0000000 --- a/debian/patches/disable-broken-Wabi.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff --git a/m4/manywarnings.m4 b/m4/manywarnings.m4 -index dda3d46..71c2e1c 100644 ---- a/m4/manywarnings.m4 -+++ b/m4/manywarnings.m4 -@@ -114,7 +114,6 @@ m4_defun([gl_MANYWARN_ALL_GCC(C)], - gl_manywarn_set= - for gl_manywarn_item in -fno-common \ - -W \ -- -Wabi \ - -Waddress \ - -Waggressive-loop-optimizations \ - -Wall \ diff --git a/debian/patches/series b/debian/patches/series index 3686a4d..c4d4298 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -1,5 +1,4 @@ sigpipe.diff gzip_reproducible_build.diff zgrep-syntax-error.diff -disable-broken-Wabi.patch disable-Werror.patch