diff options
Diffstat (limited to 'coverity')
-rwxr-xr-x | coverity/coverity_all.sh | 1 | ||||
-rwxr-xr-x | coverity/coverity_iuh.sh | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/coverity/coverity_all.sh b/coverity/coverity_all.sh index fd5276c..fba5271 100755 --- a/coverity/coverity_all.sh +++ b/coverity/coverity_all.sh @@ -20,6 +20,7 @@ do_build() { cov-build --dir cov-int make make install + rm -f myproject.tgz tar czf myproject.tgz cov-int } diff --git a/coverity/coverity_iuh.sh b/coverity/coverity_iuh.sh index 82a6099..3007dda 100755 --- a/coverity/coverity_iuh.sh +++ b/coverity/coverity_iuh.sh @@ -12,6 +12,7 @@ rm -rf "$cov_dir" cov-build --dir "$cov_dir" ./build_iuh.sh cd "$src_dir" +rm -f myproject.tgz tar czf myproject.tgz cov-int curl \ |