On 14 November 2018 at 12:02, Paolo Bonzini wrote:
>> ENV COVERITY_TOOL_BASE=/coverity-tools
>> COPY run-coverity-scan run-coverity-scan
>> RUN --mount=type=secret,id=coverity.token,required ./run-coverity-scan
>> --update-tools-only --tokenfile /run/secrets/coverity.token
>
> If the tokenfile is
On 13/11/2018 20:37, Philippe Mathieu-Daudé wrote:
> Calling "make docket-image-fedora" you can reduce this script to:
>
> -- >8 --
> FROM qemu:fedora
> ENV PACKAGES \
> $PACKAGES \
> alsa-lib-devel \
> curl \
> cyrus-sasl-devel \
> libepoxy-devel \
> libgbm-devel \
> l
On 14/11/18 12:25, Alex Bennée wrote:
Philippe Mathieu-Daudé writes:
On 13/11/18 19:46, Peter Maydell wrote:
Add support for running the Coverity Scan tools inside a Docker
container rather than directly on the host system.
Signed-off-by: Peter Maydell
---
scripts/coverity-scan/coverity-s
Philippe Mathieu-Daudé writes:
> On 13/11/18 19:46, Peter Maydell wrote:
>> Add support for running the Coverity Scan tools inside a Docker
>> container rather than directly on the host system.
>>
>> Signed-off-by: Peter Maydell
>> ---
>> scripts/coverity-scan/coverity-scan.docker | 120
On 13/11/18 19:46, Peter Maydell wrote:
Add support for running the Coverity Scan tools inside a Docker
container rather than directly on the host system.
Signed-off-by: Peter Maydell
---
scripts/coverity-scan/coverity-scan.docker | 120 +
scripts/coverity-scan/run-coveri
Add support for running the Coverity Scan tools inside a Docker
container rather than directly on the host system.
Signed-off-by: Peter Maydell
---
scripts/coverity-scan/coverity-scan.docker | 120 +
scripts/coverity-scan/run-coverity-scan| 58 ++
2 files changed
