From 591f361b1edd0e37f3856d56ce85095bc9938515 Mon Sep 17 00:00:00 2001 From: Alexis Ballier Date: Mon, 10 Jul 2017 12:34:58 +0200 Subject: [PATCH] profiles/arch/arm64: mask wxgtk[webkit] --- profiles/arch/arm64/package.use.mask | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/profiles/arch/arm64/package.use.mask b/profiles/arch/arm64/package.use.mask index 1799422f25b0..fee66cc710d0 100644 --- a/profiles/arch/arm64/package.use.mask +++ b/profiles/arch/arm64/package.use.mask @@ -1,6 +1,11 @@ # Copyright 1999-2017 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 +# Alexis Ballier (10 Jul 2017) +# pull webkit-gtk:2 which we would like to avoid +x11-libs/wxGTK:2.8 webkit +x11-libs/wxGTK:3.0 webkit + # Alexis Ballier (10 Jul 2017) # media-gfx/nvidia-texture-tools does not support arm64 media-libs/devil nvtt -- 2.26.2