From 02fde2025b960982160dfe2b7d800f28da3229c7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Sat, 5 May 2018 15:23:35 +0200 Subject: [PATCH] Updated run-coverity.sh script --- tools/run-coverity.sh | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/tools/run-coverity.sh b/tools/run-coverity.sh index ea8302cdd..79f42893d 100644 --- a/tools/run-coverity.sh +++ b/tools/run-coverity.sh @@ -1,16 +1,18 @@ #!/bin/bash PATH=$PATH:/home/danielmarjamaki/cov-analysis-linux64-2017.07/bin cd /home/danielmarjamaki/cppcheck-cov -make clean +git pull echo Analyze +make clean nice cov-build --dir cov-int make echo Compressing tar czvf cppcheck.tgz cov-int echo Upload -curl --form token=e74RRnWR6BVsn5LKdclfcA \ +curl --insecure \ + --form token=e74RRnWR6BVsn5LKdclfcA \ --form email=daniel.marjamaki@gmail.com \ --form file=@cppcheck.tgz \ --form version=`git log -1 --format=oneline | sed -r 's/([a-f0-9]{7}).*/\1/'` \