summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xcoverity/coverity_all.sh1
-rwxr-xr-xcoverity/coverity_iuh.sh1
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 \