aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNeels Hofmeyr <nhofmeyr@sysmocom.de>2016-10-11 14:05:25 +0200
committerNeels Hofmeyr <nhofmeyr@sysmocom.de>2016-10-11 14:06:36 +0200
commit6fbe3aa929a097edc4c5f58fdb7c11a894c80127 (patch)
treeccde43e53cb7da5f278bd003a06073fb783a489a
parent5b4e64c3059fe5b79c9ee06f772ae5dea90e6f59 (diff)
coverity: check out clean sources every timeneels/test
-rwxr-xr-xcoverity/build_Osmocom.sh4
-rwxr-xr-xcoverity/coverity_Osmocom.sh3
2 files changed, 3 insertions, 4 deletions
diff --git a/coverity/build_Osmocom.sh b/coverity/build_Osmocom.sh
index d00ad51..842f496 100755
--- a/coverity/build_Osmocom.sh
+++ b/coverity/build_Osmocom.sh
@@ -15,10 +15,6 @@ git_branch() {
}
do_build() {
- git fetch
- git reset --hard "origin/$(git_branch)"
- git clean -dxf
- git checkout .
autoreconf --install --force
./configure --prefix="$prefix" $*
diff --git a/coverity/coverity_Osmocom.sh b/coverity/coverity_Osmocom.sh
index a19acb3..33d4fa5 100755
--- a/coverity/coverity_Osmocom.sh
+++ b/coverity/coverity_Osmocom.sh
@@ -6,6 +6,9 @@ base_dir="$PWD"
src_dir="$base_dir/source-Osmocom"
cov_dir="$src_dir/cov-int"
+rm -rf "$src_dir"
+./prepare_source_Osmcocom.sh
+
export PATH="$base_dir/cov-analysis-linux64-8.5.0/bin/:$PATH"
rm -rf "$cov_dir"