From mboxrd@z Thu Jan  1 00:00:00 1970
From: Jason at zx2c4.com (Jason A. Donenfeld)
Date: Fri, 19 Jan 2018 11:59:23 +0100
Subject: Jenkins failing?
Message-ID: <CAHmME9r+ORyKwtA84hR_L+KEeb_HMY3UtNz-sV5VdzRhmO8cFg@mail.gmail.com>

Hey Ferry,

Jenkins has been failing for a while now -- you might want to poke
around with it. Looks like it's a java package situation.

Also, it's no longer doing the right thing with Coverity. If this is
caused by gcc-7, you might need the following:

CFLAGS="-include fix-gcc-7-coverity.h"

Where that file is: https://?.cc/BJovC0UQ

Regards,
Jason