summaryrefslogtreecommitdiffhomepage
path: root/coverity/build.sh
diff options
context:
space:
mode:
Diffstat (limited to 'coverity/build.sh')
-rw-r--r--coverity/build.sh2
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