Re: [PATCH 4/8] run-coverity-scan: use docker.py

2020-04-27 Thread Paolo Bonzini
On 27/04/20 14:42, Peter Maydell wrote: > The comment at the top of the file documenting the command line > options needs updating. > > We don't accept --foo=bar for anything else: options either take > no argument, or take an argument as a following (ie space separated) > parameter. It would be m

Re: [PATCH 4/8] run-coverity-scan: use docker.py

2020-04-27 Thread Peter Maydell
On Wed, 22 Apr 2020 at 18:24, Paolo Bonzini wrote: > > Our trusted docker wrapper allows run-coverity-scan to run with both > docker and podman. > > For the "run" phase this is transparent; for the "build" phase however > scripts are replaced with a bind mount (-v). This is not an issue > because