From 2c4b2962d073e16b083347bcd43ffec57ba43ff0 Mon Sep 17 00:00:00 2001 From: Stanislaw Halik Date: Fri, 13 Oct 2017 19:28:03 +0200 Subject: stuff --- coverity/build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'coverity/build.sh') 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 -- cgit v1.2.3