diff --git a/tools/run-coverity.sh b/tools/run-coverity.sh new file mode 100644 index 000000000..ea8302cdd --- /dev/null +++ b/tools/run-coverity.sh @@ -0,0 +1,22 @@ +#!/bin/bash +PATH=$PATH:/home/danielmarjamaki/cov-analysis-linux64-2017.07/bin +cd /home/danielmarjamaki/cppcheck-cov +make clean + +echo Analyze +nice cov-build --dir cov-int make + +echo Compressing +tar czvf cppcheck.tgz cov-int + +echo Upload +curl --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/'` \ + --form description="Development" \ + https://scan.coverity.com/builds?project=cppcheck + +echo Done +rm -rf cov-int +