From e70ab95e927671d6921ac1f4138ed2db660c2aed Mon Sep 17 00:00:00 2001 From: Teo Mrnjavac Date: Mon, 25 Jul 2016 17:58:22 +0200 Subject: [PATCH] Fix Coverity build. --- ci/calamares-coverity.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/calamares-coverity.sh b/ci/calamares-coverity.sh index 727ae9af2..a6a9f0f8e 100755 --- a/ci/calamares-coverity.sh +++ b/ci/calamares-coverity.sh @@ -31,7 +31,7 @@ rm -Rf "$WORKSPACE/build" mkdir "$WORKSPACE/build" cd "$WORKSPACE/build" -CMAKE_PREFIX_PATH="$WORKSPACE/prefix/usr" cmake -DCMAKE_BUILD_TYPE=Debug -DCMAKE_INSTALL_PREFIX=/usr .. +CMAKE_PREFIX_PATH="$WORKSPACE/prefix/usr" cmake -DCMAKE_BUILD_TYPE=Debug -DCMAKE_INSTALL_PREFIX=/usr -DWEBVIEW_FORCE_WEBKIT=1 .. nice -n 18 cov-build --dir cov-int make -j2 tar caf calamares-ci.tar.xz cov-int