summaryrefslogtreecommitdiffhomepage
path: root/coverity/build.sh
diff options
context:
space:
mode:
authorStanislaw Halik <sthalik@misaki.pl>2017-10-13 19:28:03 +0200
committerStanislaw Halik <sthalik@misaki.pl>2017-10-13 19:28:03 +0200
commit2c4b2962d073e16b083347bcd43ffec57ba43ff0 (patch)
treeb2698dc1a6438190ca541271b94c8f3cafa11b8b /coverity/build.sh
parent9ef7e4062f63c9a3960097695872efaccc3a29ff (diff)
stuff
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