summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSam James <sam@gentoo.org>2020-10-26 01:46:03 +0000
committerSam James <sam@gentoo.org>2020-10-26 02:04:13 +0000
commit1d0511ce29f348583327fe3aa101a5c05a77f6db (patch)
tree087e624d273bf280c521bb51bb444ce11c2d87c4 /profiles
parentdev-lang/jsonnet: don't de-reference symlinks (diff)
downloadgentoo-1d0511ce29f348583327fe3aa101a5c05a77f6db.tar.gz
gentoo-1d0511ce29f348583327fe3aa101a5c05a77f6db.tar.bz2
gentoo-1d0511ce29f348583327fe3aa101a5c05a77f6db.zip
profiles/arch/powerpc/ppc64/64ul/use.mask: -ocamlopt
Bug: https://bugs.gentoo.org/748576 Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'profiles')
-rw-r--r--profiles/arch/powerpc/ppc64/64ul/use.mask1
1 files changed, 0 insertions, 1 deletions
diff --git a/profiles/arch/powerpc/ppc64/64ul/use.mask b/profiles/arch/powerpc/ppc64/64ul/use.mask
index 9f727c02d820..01d3b7f651d4 100644
--- a/profiles/arch/powerpc/ppc64/64ul/use.mask
+++ b/profiles/arch/powerpc/ppc64/64ul/use.mask
@@ -25,7 +25,6 @@ pda
prelude
mono
networkmanager
-ocamlopt
# not tested on ppc64
xmms2