projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d7d825f) | patch
dev-lang/gnat-gpl does not build with jit and march=native
authorTupone Alfredo <tupone@gentoo.org>
Wed, 24 Oct 2018 19:50:08 +0000 (21:50 +0200)
committerTupone Alfredo <tupone@gentoo.org>
Wed, 24 Oct 2018 19:54:34 +0000 (21:54 +0200)
commit6c69d99e6c710cee2501d6f1f6db492ceb29f0f8
tree5a6b9063d6b6a0966124f4c4ce6a4faa9f947615tree | snapshot
parentd7d825f65a5ba82e74f30005d1a71ca164b0ab75commit | diff
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>
profiles/base/package.use.mask diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.