Re: [PATCH 00/26] Address a couple of issues identified by Coverity
- From
Stefan Beller <sbeller@google.com>
- Date
- Apr 28, 2017, 18:05 UTC
- Message-ID
- <CAGZ79kYOp1deMgcEB3HHXeEcLOKNs4KPjdT_W2CD+4Amduv2Wg@mail.gmail.com>
- In-Reply-To
- <alpine.DEB.2.20.1704280010160.3480@virtualbox>
Hi Johannes,
thanks for the reply.
On Thu, Apr 27, 2017 at 3:50 PM, Johannes Schindelin <Johannes.Schindelin@gmx.de> wrote:
Show 5 quoted lines
> I still have to find the time to figure out one more detail: how to > download and extract the Coverity tool (the .zip archive has a variable > name for the top-level directory), and doing that only every once > in a while, say, only when there is no previously unpacked tool, or it is > already 4 weeks old.
That is an interesting problem, which I ignored as the older versions of their tools still works once they release new versions. So I just manually check every once in a while if they have new versions out there.
So if you find a nice solution to that problem, let me know, please.
Thanks, Stefan