projects
/
gentoo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
d787488
)
profiles/base: Unmask USE=z3 on clang-8+
author
Michał Górny
<mgorny@gentoo.org>
Thu, 20 Dec 2018 14:51:23 +0000
(15:51 +0100)
committer
Michał 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
patch
|
blob
|
history
diff --git
a/profiles/base/package.use.mask
b/profiles/base/package.use.mask
index eefc6e9eed29bf98100660f37c8c978a0d6a9ba2..82ac3f93ec4faeaea5c18e5d1a6c82b6e8a2e012 100644
(file)
--- 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)