[PATCH] coverity-scan: list components, move model to scripts/coverity-scan

2021-05-03 Thread Paolo Bonzini
Place all files that can be useful to rebuild the Coverity configuration in scripts/coverity-scan: the existing model file, and the components setup. The Markdown syntax was tested with Pandoc (but in any case is meant more as a human-readable reference than as a part of documentation). Suggested

Re: [PATCH] coverity-scan: list components, move model to scripts/coverity-scan

2021-04-30 Thread Markus Armbruster
Peter Maydell writes: > On Fri, 30 Apr 2021 at 15:52, Paolo Bonzini wrote: >> >> Place all files that can be useful to rebuild the Coverity >> configuration in scripts/coverity-scan: the existing model >> file, and the components setup. >> >> The Markdown syntax was tested with Pandoc (but in an

Re: [PATCH] coverity-scan: list components, move model to scripts/coverity-scan

2021-04-30 Thread Peter Maydell
On Fri, 30 Apr 2021 at 15:52, Paolo Bonzini wrote: > > Place all files that can be useful to rebuild the Coverity > configuration in scripts/coverity-scan: the existing model > file, and the components setup. > > The Markdown syntax was tested with Pandoc (but in any case > is meant more as a huma

[PATCH] coverity-scan: list components, move model to scripts/coverity-scan

2021-04-30 Thread Paolo Bonzini
Place all files that can be useful to rebuild the Coverity configuration in scripts/coverity-scan: the existing model file, and the components setup. The Markdown syntax was tested with Pandoc (but in any case is meant more as a human-readable reference than as a part of documentation). Suggested