|
From: | Peter Maydell |
Subject: | Re: [PATCH 6/8] run-coverity-scan: use --no-update-tools in docker run |
Date: | Mon, 27 Apr 2020 13:48:18 +0100 |
On Wed, 22 Apr 2020 at 18:24, Paolo Bonzini <address@hidden> wrote: > > Tools are already updated via the docker build. > > Signed-off-by: Paolo Bonzini <address@hidden> > --- Reviewed-by: Peter Maydell <address@hidden> thanks -- PMM
[Prev in Thread] | Current Thread | [Next in Thread] |