commit:     55aaa2e504687e64d4e0ddd305989d1540c0f5a8
Author:     Michał Górny <mgorny <AT> gentoo <DOT> org>
AuthorDate: Thu Dec 20 14:51:23 2018 +0000
Commit:     Michał Górny <mgorny <AT> gentoo <DOT> org>
CommitDate: Thu Dec 20 14:52:13 2018 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=55aaa2e5

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

Signed-off-by: Michał Górny <mgorny <AT> 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 eefc6e9eed2..82ac3f93ec4 100644
--- a/profiles/base/package.use.mask
+++ b/profiles/base/package.use.mask
@@ -187,7 +187,7 @@ app-emulation/libvirt openvz
 # Michał Górny <[email protected]> (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 <[email protected]> (09 Jul 2017)
 # Matthias Dahl <[email protected]> (05 Jul 2017)

Reply via email to