diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2018-10-24 20:04:09 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2018-10-24 20:04:09 +0000 |
| commit | 451e6484699023ec7a2569475547a37b5d0da2ae (patch) | |
| tree | d17c8ee86d2f6425c79d405e26273622c8d1846e | |
| parent | 2018-10-24 19:44:29 UTC (diff) | |
| parent | dev-lang/gnat-gpl does not build with jit and march=native (diff) | |
| download | gentoo-451e6484699023ec7a2569475547a37b5d0da2ae.tar.gz gentoo-451e6484699023ec7a2569475547a37b5d0da2ae.tar.bz2 gentoo-451e6484699023ec7a2569475547a37b5d0da2ae.zip | |
Merge updates from master
| -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 |