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