[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH v2 0/8] run-coverity-scan: misc improvements, especially for dock
From: |
Paolo Bonzini |
Subject: |
[PATCH v2 0/8] run-coverity-scan: misc improvements, especially for docker mode |
Date: |
Thu, 21 May 2020 08:45:27 -0400 |
These include:
1) podman support through tests/docker/docker.py
2) avoiding repeated downloading of the tools in the container, by
sharing the cache with the host
3) support for --update-tools-only --docker (though unlike regular
--update-tools-only it must be run from within a QEMU source tree)
4) not related to docker mode, but used by it, a new --no-update-tools
option that does not check for tool updates
5) the ability to get the Coverity token from git configuration, and
also to have email from git configuration if it is not equal to
user.email.
Patches 1 and 2 are tweaks to tests/docker/docker.py, while the others
are for run-coverity-scan.
v1->v2: adjust comments, new option --docker-engine
Paolo Bonzini (8):
docker.py/build: support -t and -f arguments
docker.py/build: support binary files in --extra-files
run-coverity-scan: get Coverity token and email from special git
config section
run-coverity-scan: use docker.py
run-coverity-scan: add --no-update-tools option
run-coverity-scan: use --no-update-tools in docker run
run-coverity-scan: download tools outside the container
run-coverity-scan: support --update-tools-only --docker
scripts/coverity-scan/coverity-scan.docker | 3 +-
scripts/coverity-scan/run-coverity-scan | 139 +++++++++++++--------
tests/docker/Makefile.include | 2 +-
tests/docker/docker.py | 14 ++-
4 files changed, 98 insertions(+), 60 deletions(-)
--
2.26.2
- [PATCH v2 0/8] run-coverity-scan: misc improvements, especially for docker mode,
Paolo Bonzini <=
- [PATCH v2 2/8] docker.py/build: support binary files in --extra-files, Paolo Bonzini, 2020/05/21
- [PATCH v2 4/8] run-coverity-scan: use docker.py, Paolo Bonzini, 2020/05/21
- [PATCH v2 1/8] docker.py/build: support -t and -f arguments, Paolo Bonzini, 2020/05/21
- [PATCH v2 7/8] run-coverity-scan: download tools outside the container, Paolo Bonzini, 2020/05/21
- [PATCH v2 3/8] run-coverity-scan: get Coverity token and email from special git config section, Paolo Bonzini, 2020/05/21
- [PATCH v2 8/8] run-coverity-scan: support --update-tools-only --docker, Paolo Bonzini, 2020/05/21
- [PATCH v2 6/8] run-coverity-scan: use --no-update-tools in docker run, Paolo Bonzini, 2020/05/21
- [PATCH v2 5/8] run-coverity-scan: add --no-update-tools option, Paolo Bonzini, 2020/05/21