diff options
| author | Paolo Bonzini | 2020-04-22 17:49:40 +0200 |
|---|---|---|
| committer | Paolo Bonzini | 2020-06-10 18:09:33 +0200 |
| commit | 2e90470e90d660ed03321ba677fba2d5208bc6e4 (patch) | |
| tree | 8ddc2e887a5a1b279520669a8b5122b5f4702260 /scripts/coverity-scan/coverity-scan.docker | |
| parent | run-coverity-scan: use --no-update-tools in docker run (diff) | |
| download | qemu-2e90470e90d660ed03321ba677fba2d5208bc6e4.tar.gz qemu-2e90470e90d660ed03321ba677fba2d5208bc6e4.tar.xz qemu-2e90470e90d660ed03321ba677fba2d5208bc6e4.zip | |
run-coverity-scan: download tools outside the container
This lets us look at coverity_tool.md5 across executions of run-coverity-scan
and skip the download.
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'scripts/coverity-scan/coverity-scan.docker')
| -rw-r--r-- | scripts/coverity-scan/coverity-scan.docker | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/coverity-scan/coverity-scan.docker b/scripts/coverity-scan/coverity-scan.docker index 6f0460b66c..efcf63224d 100644 --- a/scripts/coverity-scan/coverity-scan.docker +++ b/scripts/coverity-scan/coverity-scan.docker @@ -127,5 +127,6 @@ RUN dnf install -y $PACKAGES RUN rpm -q $PACKAGES | sort > /packages.txt ENV PATH $PATH:/usr/libexec/python3-sphinx/ ENV COVERITY_TOOL_BASE=/coverity-tools +COPY coverity_tool.tgz coverity_tool.tgz +RUN mkdir -p /coverity-tools/coverity_tool && cd /coverity-tools/coverity_tool && tar xf /coverity_tool.tgz COPY run-coverity-scan run-coverity-scan -RUN ./run-coverity-scan --update-tools-only --tokenfile /work/token |