summaryrefslogtreecommitdiffstats
path: root/coverity/coverity_all.sh
diff options
context:
space:
mode:
Diffstat (limited to 'coverity/coverity_all.sh')
-rwxr-xr-xcoverity/coverity_all.sh1
1 files changed, 1 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
}