From 55aaa2e504687e64d4e0ddd305989d1540c0f5a8 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Micha=C5=82=20G=C3=B3rny?= <mgorny@gentoo.org>
Date: Thu, 20 Dec 2018 15:51:23 +0100
Subject: [PATCH] profiles/base: Unmask USE=z3 on clang-8+
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

Signed-off-by: Michał Górny <mgorny@gentoo.org>
---
 profiles/base/package.use.mask | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/profiles/base/package.use.mask b/profiles/base/package.use.mask
index eefc6e9eed29..82ac3f93ec4f 100644
--- a/profiles/base/package.use.mask
+++ b/profiles/base/package.use.mask
@@ -187,7 +187,7 @@ app-emulation/libvirt openvz
 # Michał Górny <mgorny@gentoo.org> (30 Jul 2017)
 # The Z3 backend is unstable and causes assertion failures. Mask it
 # until upstream fixes it properly.
-sys-devel/clang z3
+<sys-devel/clang-8 z3
 
 # Mike Gilbert <floppym@gentoo.org> (09 Jul 2017)
 # Matthias Dahl <matthias.dahl@binary-island.eu> (05 Jul 2017)
-- 
2.26.2