gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 17:09:10 -07:00
Code Issues Projects Releases Wiki Activity

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

Browse Source 
Signed-off-by: Michał Górny <mgorny@gentoo.org>
This commit is contained in:
Michał Górny
2018-12-20 15:51:23 +01:00
parent d787488957
commit 55aaa2e504
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
profiles/base/package.use.mask
View 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)