summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--PKGBUILD1
1 files changed, 1 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD
index b2470c04bd15..7a1f3e81eca3 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -41,6 +41,7 @@ build() {
-DWEB_ENGINE=ON \
-DBUILD_SHARED_LIBS=OFF \
-DHUGGLE_EXT=TRUE \
+ -DCMAKE_POLICY_VERSION_MINIMUM=3.5 \
-Wno-dev \
make -C build