diff options
author | RALOVICH, Kristof <tade60@freemail.hu> | 2014-08-09 19:16:09 +0200 |
---|---|---|
committer | RALOVICH, Kristof <tade60@freemail.hu> | 2014-08-09 19:16:09 +0200 |
commit | d08bf29c93f61520ed0984c6a04683d84cd0c038 (patch) | |
tree | 6b03d2628562059b8bc1f2c59c1a15fb6647c7be | |
parent | 573883166a6a47fbe6da3e474a48aeb1014e4460 (diff) |
travis-ci: refining coverity
-rwxr-xr-x | scripts/coverity_scan_script.sh | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/scripts/coverity_scan_script.sh b/scripts/coverity_scan_script.sh index 401f55b..b645739 100755 --- a/scripts/coverity_scan_script.sh +++ b/scripts/coverity_scan_script.sh @@ -72,14 +72,25 @@ 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" +pwd eval "${COVERITY_SCAN_BUILD_COMMAND_PREPEND}" +pwd COVERITY_UNSUPPORTED=1 cov-build --dir $RESULTS_DIR $COV_BUILD_OPTIONS $COVERITY_SCAN_BUILD_COMMAND +echo "++++++++++++++++++++++++++++++" +tail $RESULTS_DIR/build-log.txt +echo "++++++++++++++++++++++++++++++" +pwd +cov-build --dir $RESULTS_DIR $COV_BUILD_OPTIONS $COVERITY_SCAN_BUILD_COMMAND +echo "++++++++++++++++++++++++++++++" +tail $RESULTS_DIR/build-log.txt +echo "++++++++++++++++++++++++++++++" +pwd cov-import-scm --dir $RESULTS_DIR --scm git --log $RESULTS_DIR/scm_log.txt 2>&1 # Upload results echo -e "\033[33;1mTarring Coverity Scan Analysis results...\033[0m" RESULTS_ARCHIVE=analysis-results.tgz -tar czf $RESULTS_ARCHIVE $RESULTS_DIR +tar czvf $RESULTS_ARCHIVE $RESULTS_DIR SHA=`git rev-parse --short HEAD` echo -e "\033[33;1mUploading Coverity Scan Analysis results...\033[0m" |