summaryrefslogtreecommitdiff
path: root/debian/patches/0026-gcc-8-coverity-hack.patch
diff options
context:
space:
mode:
authorDimitri John Ledkov <xnox@ubuntu.com>2018-07-23 11:41:17 +0100
committerDimitri John Ledkov <xnox@ubuntu.com>2018-07-23 11:41:17 +0100
commit3bed5265f9c792edfcd593eeaa93675711e5e264 (patch)
tree60fcbcc5048f276f07022b12d9b34245a6e8ae8d /debian/patches/0026-gcc-8-coverity-hack.patch
parent9421e599c44cd50d3df4cd019cd3c53d9320e93d (diff)
Cherrypick master patches up to 20th of July 2018. LP: #1781427
Diffstat (limited to 'debian/patches/0026-gcc-8-coverity-hack.patch')
-rw-r--r--debian/patches/0026-gcc-8-coverity-hack.patch2
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/0026-gcc-8-coverity-hack.patch b/debian/patches/0026-gcc-8-coverity-hack.patch
index f039a5c0..6cf6f6a4 100644
--- a/debian/patches/0026-gcc-8-coverity-hack.patch
+++ b/debian/patches/0026-gcc-8-coverity-hack.patch
@@ -1,7 +1,7 @@
From 28156667e5c7dc3c7b978f2d58c2a427038fedda Mon Sep 17 00:00:00 2001
From: Jes Sorensen <jsorensen@fb.com>
Date: Mon, 4 Jun 2018 14:49:59 -0400
-Subject: [PATCH 26/26] gcc-8 coverity hack
+Subject: [PATCH 26/40] gcc-8 coverity hack
Coverity still has issues with gcc-7, not to mention gcc-8. Hack around
it, until they fix it.