diff options
Diffstat (limited to 'dev-java/jmi-interface')
| -rw-r--r-- | dev-java/jmi-interface/ChangeLog | 6 | ||||
| -rw-r--r-- | dev-java/jmi-interface/Manifest | 14 | ||||
| -rw-r--r-- | dev-java/jmi-interface/jmi-interface-1.0.ebuild | 4 |
3 files changed, 9 insertions, 15 deletions
diff --git a/dev-java/jmi-interface/ChangeLog b/dev-java/jmi-interface/ChangeLog index 39094e6e7d66..3642f76ecc51 100644 --- a/dev-java/jmi-interface/ChangeLog +++ b/dev-java/jmi-interface/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for dev-java/jmi-interface # Copyright 1999-2005 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/dev-java/jmi-interface/ChangeLog,v 1.1 2005/05/03 17:10:26 luckyduck Exp $ +# $Header: /var/cvsroot/gentoo-x86/dev-java/jmi-interface/ChangeLog,v 1.2 2005/05/27 15:46:04 luckyduck Exp $ + + 27 May 2005; Jan Brinkmann <luckyduck@gentoo.org> + jmi-interface-1.0.ebuild: + build the jar again when use=doc, fixes #94189 *jmi-interface-1.0 (03 May 2005) diff --git a/dev-java/jmi-interface/Manifest b/dev-java/jmi-interface/Manifest index f00952830c0a..bb603b92a479 100644 --- a/dev-java/jmi-interface/Manifest +++ b/dev-java/jmi-interface/Manifest @@ -1,15 +1,5 @@ ------BEGIN PGP SIGNED MESSAGE----- -Hash: SHA1 - -MD5 bdea8f4831ee46ee51dc58323bfd2d99 jmi-interface-1.0.ebuild 1049 -MD5 9b2f27d3b322adf4b05c0178d67651e3 ChangeLog 482 +MD5 21fb4a071b9ab35488b017670428a194 jmi-interface-1.0.ebuild 1052 +MD5 a919021d7bbb93a72f93ce2636305c59 ChangeLog 612 MD5 a6ec7d7724fbd068ffb39b5be56134ed metadata.xml 157 MD5 c32e1638d6cfd4da9fa8d2d9a22974a3 files/jmi-interface-1.0-build.xml 1510 MD5 214ca012130654d654a8b8121a0fd561 files/digest-jmi-interface-1.0 69 ------BEGIN PGP SIGNATURE----- -Version: GnuPG v1.4.0 (GNU/Linux) - -iD8DBQFCd7CZ06ebR+OMO78RAg8lAJ9Zyv6pZgTPu4H8F4CJclgvgTz8BACfSJ2e -m6ZCrybveCC+8WxnK7nCHv4= -=2/E1 ------END PGP SIGNATURE----- diff --git a/dev-java/jmi-interface/jmi-interface-1.0.ebuild b/dev-java/jmi-interface/jmi-interface-1.0.ebuild index 517594b64a12..dc658fdeb9d0 100644 --- a/dev-java/jmi-interface/jmi-interface-1.0.ebuild +++ b/dev-java/jmi-interface/jmi-interface-1.0.ebuild @@ -1,6 +1,6 @@ # Copyright 1999-2005 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/dev-java/jmi-interface/jmi-interface-1.0.ebuild,v 1.1 2005/05/03 17:10:26 luckyduck Exp $ +# $Header: /var/cvsroot/gentoo-x86/dev-java/jmi-interface/jmi-interface-1.0.ebuild,v 1.2 2005/05/27 15:46:04 luckyduck Exp $ inherit java-pkg @@ -29,7 +29,7 @@ src_unpack() { } src_compile() { - local antflags="" + local antflags="jar" use doc && antflags="${antflags} javadoc" use jikes && antflags="${antflags} -Dbuild.compiler=jikes" ant ${antflags} || die "Failed to compile" |