Re: [PATCH] coverity: the definitive COMPONENTS.md update

2023-05-16 Thread Peter Maydell
On Mon, 15 May 2023 at 15:00, Paolo Bonzini wrote: > > The ordering here tries to be logical and matches the one in the > website. > > Signed-off-by: Paolo Bonzini Reviewed-by: Peter Maydell thanks -- PMM

[PATCH] coverity: the definitive COMPONENTS.md update

2023-05-15 Thread Paolo Bonzini
The ordering here tries to be logical and matches the one in the website. Signed-off-by: Paolo Bonzini --- scripts/coverity-scan/COMPONENTS.md | 45 +++-- 1 file changed, 30 insertions(+), 15 deletions(-) diff --git a/scripts/coverity-scan/COMPONENTS.md b/scripts/coveri