Thanks Atin for pointing this out. Yes, I'll upgrade the matching build
tool on builders once coverity is upgraded on scan.coverity.com
On Thu, Jun 13, 2019 at 8:01 AM Atin Mukherjee
wrote:
> Fyi..no scan for 3-4 days starting from June 17th for the upgrade. Post
> that we may have to do some
Fyi..no scan for 3-4 days starting from June 17th for the upgrade. Post
that we may have to do some changes to use the new build tool?
-- Forwarded message -
From: Peter Degen-Portnoy
Date: Thu, 13 Jun 2019 at 00:48
Subject: Details on the Scan.coverity.com June 2019 Upgrade