From f2d0e62010fb812c3db58844f2357a8d389315d2 Mon Sep 17 00:00:00 2001 From: Juan RP Date: Mon, 10 Dec 2012 18:15:22 +0100 Subject: [PATCH] webkit-gtk3: do not build dbg pkgs; ETOOHUGE --- srcpkgs/webkit-gtk3/template | 3 +++ 1 file changed, 3 insertions(+) diff --git a/srcpkgs/webkit-gtk3/template b/srcpkgs/webkit-gtk3/template index c6bb9ec0f8..ce900ea2cd 100644 --- a/srcpkgs/webkit-gtk3/template +++ b/srcpkgs/webkit-gtk3/template @@ -23,6 +23,9 @@ long_desc=" This is the GTK3+ port of the engine." +# Disable dbg pkgs; too huge for little gain. +disable_debug=yes + do_configure() { local args="--enable-jit --with-font-backend=freetype \ --enable-introspection --disable-webkit2 \