Paolo Bonzini <pbonz...@redhat.com> writes: > On 05/02/2015 18:11, Peter Maydell wrote: >> On 5 February 2015 at 16:24, Markus Armbruster <arm...@redhat.com> wrote: >>> The following changes since commit ec6f25e788ef57ce1e9f734984ef8885172fd9e2: >>> >>> Merge remote-tracking branch >>> remotes/rth/tags/pull-tg-s390-20150203' into staging (2015-02-03 >>> 21:37:16 +0000) >>> >>> are available in the git repository at: >>> >>> >>> git://repo.or.cz/qemu/armbru.git tags/pull-cov-model-2015-02-05 >>> >>> for you to fetch changes up to 8c413e7902ef0c19ced516f575db989ccc3785f8: >>> >>> MAINTAINERS: Add myself as Coverity model maintainer (2015-02-05 >>> 17:16:14 +0100) >>> >>> ---------------------------------------------------------------- >>> coverity: Improve and extend model >>> >>> ---------------------------------------------------------------- >> >> Applied, thanks. >> >> -- PMM >> >> > > It seems like Coverity Scan doesn't like the new model. Possibly the > fault of the third patch.
Works for me with a local 7.0.3 installation. Which I just realized is outdated. I'll recheck with 7.6.0. > Will check (for now I'm still running scans > with the old model). Appreciated.
