diff options
| author |   Mike Pagano <mpagano@gentoo.org> | 2020-07-27 12:45:51 -0400 |
|---|---|---|
| committer | Mike Pagano <mpagano@gentoo.org> | 2020-07-27 12:45:51 -0400 |
| commit | 72f845f3b17ed8276a442be88da8d3fc8354022f (patch) | |
| tree | b0ea4650f25d3028d76749531950336c0bbe7bf7 /profiles/arch | |
| parent | profiles: mask cleanups post ffmpeg-3 removal (diff) | |
| download | gentoo-72f845f3b17ed8276a442be88da8d3fc8354022f.tar.gz gentoo-72f845f3b17ed8276a442be88da8d3fc8354022f.tar.bz2 gentoo-72f845f3b17ed8276a442be88da8d3fc8354022f.zip | |
profiles/arch/arm64: Mask jbr11 for dev-util/idea-community
Fails to build
Bug: https://bugs.gentoo.org/732966
Signed-off-by: Mike Pagano <mpagano@gentoo.org>
Diffstat (limited to 'profiles/arch')
| -rw-r--r-- | profiles/arch/arm64/package.use.mask | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/profiles/arch/arm64/package.use.mask b/profiles/arch/arm64/package.use.mask index ae968c7171b8..a36c46706d5b 100644 --- a/profiles/arch/arm64/package.use.mask +++ b/profiles/arch/arm64/package.use.mask @@ -1,6 +1,11 @@ # Copyright 1999-2020 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 +# Mike Pagano <mpagano@gentoo.org> (2020-07-27) +# Failed build on arm64 +# bug #732966 +dev-util/idea-community jbr11 + # Sam James <sam@gentoo.org> (2020-07-16) # Failed build on arm64 # bug #674346 |