Hi Johannes, thanks for the reply.
On Thu, Apr 27, 2017 at 3:50 PM, Johannes Schindelin <johannes.schinde...@gmx.de> wrote: > 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
