diff options
Diffstat (limited to 'coverity/coverity_Osmocom.sh')
-rwxr-xr-x | coverity/coverity_Osmocom.sh | 3 |
1 files changed, 3 insertions, 0 deletions
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" |