diff options
Diffstat (limited to 'coverity')
| -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 |