diff options
-rwxr-xr-x | coverity/build_Osmocom.sh | 4 | ||||
-rwxr-xr-x | coverity/coverity_Osmocom.sh | 3 |
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" |