Add a coverity job that runs cov-build and submit the archive to coverity.com

2016-10-06 22:29:47 +02:00
parent 954d271d50
commit 5477db7999
2 changed files with 13 additions and 1 deletions
@@ -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