profiles/base: Unmask USE=z3 on clang-8+
authorMichał Górny <mgorny@gentoo.org>
Thu, 20 Dec 2018 14:51:23 +0000 (15:51 +0100)
committerMichał Górny <mgorny@gentoo.org>
Thu, 20 Dec 2018 14:52:13 +0000 (15:52 +0100)
Signed-off-by: Michał Górny <mgorny@gentoo.org>
profiles/base/package.use.mask

index eefc6e9eed29bf98100660f37c8c978a0d6a9ba2..82ac3f93ec4faeaea5c18e5d1a6c82b6e8a2e012 100644 (file)
@@ -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)