diff options
author | Craig Andrews <candrews@integralblue.com> | 2016-11-20 21:51:30 -0500 |
---|---|---|
committer | David Seifert <soap@gentoo.org> | 2016-11-21 20:02:25 +0100 |
commit | 3787d2c2339c8dc4a363c2a1eb3262d30e9aec23 (patch) | |
tree | 4ff89801fb09a94fadc8ed88f1a69ec5f64bb4e9 /dev-python/gmpy | |
parent | media-sound/bitmeter: Fix build with GCC-5 (diff) | |
download | gentoo-3787d2c2339c8dc4a363c2a1eb3262d30e9aec23.tar.gz gentoo-3787d2c2339c8dc4a363c2a1eb3262d30e9aec23.tar.bz2 gentoo-3787d2c2339c8dc4a363c2a1eb3262d30e9aec23.zip |
media-tv/kodi-16.1: Fix USE=-java
kodi-16.1-generated-addons.tar.xz is missing the parent directory and
xbmc/interfaces/json-rpc/ServiceDescription.h, breaking USE=-java.
kodi-16.1-generated-addons-r1.tar.xz fixes those problems.
Gentoo-bug: 598058
Closes: https://github.com/gentoo/gentoo/pull/2875
Diffstat (limited to 'dev-python/gmpy')
0 files changed, 0 insertions, 0 deletions