diff options
Diffstat (limited to 'coverity/coverity_all.sh')
| -rwxr-xr-x | coverity/coverity_all.sh | 1 |
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 } |