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. Will check (for now I'm still running scans with the old model). Paolo