diff options
| author | RALOVICH, Kristof <tade60@freemail.hu> | 2014-08-09 19:03:36 +0200 |
|---|---|---|
| committer | RALOVICH, Kristof <tade60@freemail.hu> | 2014-08-09 19:03:36 +0200 |
| commit | 573883166a6a47fbe6da3e474a48aeb1014e4460 (patch) | |
| tree | ed26e6aec0fca702d47db693936099474092e5b6 | |
| parent | 112b92869e7a544ad6abe9f9cbe5f0f0ffb4a5b8 (diff) | |
travis-ci: refining coverity
| -rw-r--r-- | .travis.yml | 2 | ||||
| -rwxr-xr-x | scripts/coverity_scan_script.sh | 5 | ||||
| -rwxr-xr-x | scripts/do_cov.sh | 8 |
3 files changed, 12 insertions, 3 deletions
diff --git a/.travis.yml b/.travis.yml index fcb3faf..ab17e96 100644 --- a/.travis.yml +++ b/.travis.yml @@ -9,7 +9,7 @@ addons: name: "ralovich/antpm" description: "ANT+minus Build submitted via Travis CI" notification_email: ralovich@in.tum.de - build_command_prepend: "cd cmake-build && cmake ../src -DCMAKE_BUILD_TYPE=Debug -DUSE_BOOST_TEST=TRUE -DCMAKE_INSTALL_PREFIX=/usr && make clean" + build_command_prepend: "pwd && cd cmake-build && pwd && cmake ../src -DCMAKE_BUILD_TYPE=Debug -DUSE_BOOST_TEST=TRUE -DCMAKE_INSTALL_PREFIX=/usr && make clean" build_command: "make -j 4" branch_pattern: coverity_scan build_script_url: "https://raw.githubusercontent.com/ralovich/antpm/master/scripts/coverity_scan_script.sh" diff --git a/scripts/coverity_scan_script.sh b/scripts/coverity_scan_script.sh index f85c3d5..401f55b 100755 --- a/scripts/coverity_scan_script.sh +++ b/scripts/coverity_scan_script.sh @@ -59,15 +59,16 @@ if [ ! -d $TOOL_BASE ]; then echo -e "\033[33;1mExtracting Coverity Scan Analysis Tool...\033[0m" mkdir -p $TOOL_BASE pushd $TOOL_BASE - tar xzf $TOOL_ARCHIVE + tar xzvf $TOOL_ARCHIVE popd fi TOOL_DIR=`find $TOOL_BASE -type d -name 'cov-analysis*'` export PATH=$TOOL_DIR/bin:$PATH +echo $PATH # Build -echo -e "\033[33;1mRunning Coverity Scan Analysis Tool...\033[0m" +echo -e "\033[33;1mRunning Coverity Scan Analysis Tool....\033[0m" COV_BUILD_OPTIONS="" #COV_BUILD_OPTIONS="--return-emit-failures 8 --parse-error-threshold 85" RESULTS_DIR="cov-int" diff --git a/scripts/do_cov.sh b/scripts/do_cov.sh new file mode 100755 index 0000000..416aebf --- /dev/null +++ b/scripts/do_cov.sh @@ -0,0 +1,8 @@ + +PATH=~/bin/cov/cov-analysis-linux64-7.5.0/bin:$PATH + +mkdir build-cov +(cd build-cov && cmake ../src -DCMAKE_BUILD_TYPE=Debug -DUSE_BOOST_TEST=TRUE) +(cd build-cov && cov-build --dir cov-int make -j 4) + + |