diff options
| author | Stanislaw Halik <sthalik@misaki.pl> | 2017-10-13 19:28:03 +0200 |
|---|---|---|
| committer | Stanislaw Halik <sthalik@misaki.pl> | 2017-10-13 19:28:03 +0200 |
| commit | 2c4b2962d073e16b083347bcd43ffec57ba43ff0 (patch) | |
| tree | b2698dc1a6438190ca541271b94c8f3cafa11b8b /coverity/build.sh | |
| parent | 9ef7e4062f63c9a3960097695872efaccc3a29ff (diff) | |
stuff
Diffstat (limited to 'coverity/build.sh')
| -rw-r--r-- | coverity/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coverity/build.sh b/coverity/build.sh index 3d662f8b..9b7ac7f2 100644 --- a/coverity/build.sh +++ b/coverity/build.sh @@ -38,7 +38,7 @@ cd "./opentrack" cmake . ninja32 clean -cov-build --dir cov-int ninja +cov-build --dir cov-int ninja -v -j1 rm -f "../$myfile" || true 7za -mx a "../$myfile" cov-int trap '' EXIT |