diff options
author | Georgy Yakovlev <gyakovlev@gentoo.org> | 2022-07-03 11:39:52 -0700 |
---|---|---|
committer | Georgy Yakovlev <gyakovlev@gentoo.org> | 2022-07-03 11:41:32 -0700 |
commit | 46d2141f26986965ad75c5e345a6f7f811a23e5c (patch) | |
tree | c6a2b7838658e39d91398dd435cf99b5156a00ba /profiles/base/package.use.mask | |
parent | dev-lang/rust-bin: keyword 1.62.0 for ~sparc (diff) | |
download | gentoo-46d2141f26986965ad75c5e345a6f7f811a23e5c.tar.gz gentoo-46d2141f26986965ad75c5e345a6f7f811a23e5c.tar.bz2 gentoo-46d2141f26986965ad75c5e345a6f7f811a23e5c.zip |
profiles/base: mask rust[miri]
Bug: https://bugs.gentoo.org/855719
Signed-off-by: Georgy Yakovlev <gyakovlev@gentoo.org>
Diffstat (limited to 'profiles/base/package.use.mask')
-rw-r--r-- | profiles/base/package.use.mask | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/profiles/base/package.use.mask b/profiles/base/package.use.mask index 343667364907..1516394d05ab 100644 --- a/profiles/base/package.use.mask +++ b/profiles/base/package.use.mask @@ -6,6 +6,12 @@ # This file is only for generic masks. For arch-specific masks (i.e. # mask everywhere, unmask on arch/*) use arch/base. +# Georgy Yakovlev <gyakovlev@gentoo.org> (2022-07-03) +# miri is known to be broken on release builds from time to time +# most of the time it requires nightly (real nightly) compiler. +# please unmask as needed, may require patching +dev-lang/rust miri + # Michał Górny <mgorny@gentoo.org> (2022-07-02) # dev-python/geoip-python is masked for removal. net-p2p/deluge geoip |