From 78b01d1e20df9404985c27d0c90f5ace00618479 Mon Sep 17 00:00:00 2001 From: Teo Mrnjavac Date: Mon, 25 Jul 2016 17:09:30 +0200 Subject: [PATCH] Fix CI. --- ci/buildall.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ci/buildall.sh b/ci/buildall.sh index b9fdd9cd1..4db77b5da 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 .. -nice -n 18 make -j2 \ No newline at end of file +CMAKE_PREFIX_PATH="$WORKSPACE/prefix/usr" cmake -DCMAKE_BUILD_TYPE=Debug -DCMAKE_INSTALL_PREFIX=/usr -DWEBVIEW_WITH_WEBKIT=1 .. +nice -n 18 make -j2