summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-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"