[Pkg-running-devel] [antpm] 20/39: travis-ci: refining coverity
Kristof Ralovich
ralovich-guest at moszumanska.debian.org
Fri Nov 7 11:13:48 UTC 2014
This is an automated email from the git hooks/post-receive script.
ralovich-guest pushed a commit to branch upstream
in repository antpm.
commit 573883166a6a47fbe6da3e474a48aeb1014e4460
Author: RALOVICH, Kristof <tade60 at freemail.hu>
Date: Sat Aug 9 19:03:36 2014 +0200
travis-ci: refining coverity
---
.travis.yml | 2 +-
scripts/coverity_scan_script.sh | 5 +++--
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 at 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)
+
+
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-running/antpm.git
More information about the Pkg-running-devel
mailing list