From 11c43e3d5d9e9e783c8b00265d72d3a355c6b49e Mon Sep 17 00:00:00 2001 From: Teo Mrnjavac Date: Wed, 27 Jul 2016 13:38:15 +0200 Subject: [PATCH] Fix cmake call for CI. --- ci/buildall.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/buildall.sh b/ci/buildall.sh index 4db77b5da..f9fe7adc7 100755 --- a/ci/buildall.sh +++ b/ci/buildall.sh @@ -15,5 +15,5 @@ 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 -DWEBVIEW_WITH_WEBKIT=1 .. +CMAKE_PREFIX_PATH="$WORKSPACE/prefix/usr" cmake -DCMAKE_BUILD_TYPE=Debug -DCMAKE_INSTALL_PREFIX=/usr -DWEBVIEW_FORCE_WEBKIT=1 .. nice -n 18 make -j2