diff options
| author | louiz’ <louiz@louiz.org> | 2016-10-06 22:00:13 +0200 |
|---|---|---|
| committer | louiz’ <louiz@louiz.org> | 2016-10-06 22:29:47 +0200 |
| commit | 5477db7999b00cc6525ea964dbd51049b6fa4c00 (patch) | |
| tree | 1d5dc4bd702abc77a052e783e8714355944df79e /docker | |
| parent | 954d271d509356ab8042976b9add577150254b64 (diff) | |
| download | biboumi-5477db7999b00cc6525ea964dbd51049b6fa4c00.tar.gz biboumi-5477db7999b00cc6525ea964dbd51049b6fa4c00.tar.bz2 biboumi-5477db7999b00cc6525ea964dbd51049b6fa4c00.tar.xz biboumi-5477db7999b00cc6525ea964dbd51049b6fa4c00.zip | |
Add a coverity job that runs cov-build and submit the archive to coverity.com
Diffstat (limited to 'docker')
| -rw-r--r-- | docker/biboumi-test/fedora/Dockerfile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docker/biboumi-test/fedora/Dockerfile b/docker/biboumi-test/fedora/Dockerfile index 5370627..fb6dab4 100644 --- a/docker/biboumi-test/fedora/Dockerfile +++ b/docker/biboumi-test/fedora/Dockerfile @@ -59,6 +59,8 @@ RUN rm -rf /charybdis RUN su - tester -c "echo export LANG=en_GB.utf-8 >> /home/tester/.bashrc" +COPY coverity /home/tester/coverity + WORKDIR /home/tester USER tester |