From: Michał Górny <mgorny@gentoo.org>
Date: Thu, 20 Dec 2018 14:51:23 +0000 (+0100)
Subject: profiles/base: Unmask USE=z3 on clang-8+
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=55aaa2e504687e64d4e0ddd305989d1540c0f5a8;p=gentoo.git

profiles/base: Unmask USE=z3 on clang-8+

Signed-off-by: Michał Górny <mgorny@gentoo.org>
---

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)