diff options
Diffstat (limited to 'debian/patches/0026-gcc-8-coverity-hack.patch')
-rw-r--r-- | debian/patches/0026-gcc-8-coverity-hack.patch | 2 |
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. |