diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2021-04-30 10:45:51 -0400 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2021-05-12 04:06:50 -0400 |
| commit | e804f892b90e58861edd79aafa4d1f4dbdeb3819 (patch) | |
| tree | 6d54599aab000911d83d6c23efba4df7ab8f09e7 /include | |
| parent | 5ecfb76ccc056eb6127e44268e475827ae73b9e0 (diff) | |
coverity-scan: list components, move model to scripts/coverity-scan
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-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions