diff options
| author |   Tupone Alfredo <tupone@gentoo.org> | 2018-10-24 21:50:08 +0200 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2018-10-24 21:54:34 +0200 |
| commit | 6c69d99e6c710cee2501d6f1f6db492ceb29f0f8 (patch) | |
| tree | 5a6b9063d6b6a0966124f4c4ce6a4faa9f947615 /profiles/base/package.use.mask | |
| parent | dev-lang/elixir: drop old (diff) | |
| download | gentoo-6c69d99e6c710cee2501d6f1f6db492ceb29f0f8.tar.gz gentoo-6c69d99e6c710cee2501d6f1f6db492ceb29f0f8.tar.bz2 gentoo-6c69d99e6c710cee2501d6f1f6db492ceb29f0f8.zip | |
dev-lang/gnat-gpl does not build with jit and march=native
Closes: https://bugs.gentoo.org/669346
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'profiles/base/package.use.mask')
| -rw-r--r-- | profiles/base/package.use.mask | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/profiles/base/package.use.mask b/profiles/base/package.use.mask index 3e87f3085150..0c4b7b52f799 100644 --- a/profiles/base/package.use.mask +++ b/profiles/base/package.use.mask @@ -7,6 +7,10 @@ # This file is only for generic masks. For arch-specific masks (i.e. # mask everywhere, unmask on arch/*) use arch/base. +# Alfredo Tupone <tupone@gentoo.org> (24 Oct 2018) +# jit brokes build of gnat-gpl +dev-lang/gnat-gpl jit + # Pacho Ramos <pacho@gento.org> (21 Oct 2018) # splashutils is being removed sys-power/suspend fbsplash |