[ping] Re: [patch, icedtea-web] Don't include copies of jni.h and jni_md.h
Dr Andrew John Hughes
ahughes at redhat.com
Thu Oct 28 06:07:36 PDT 2010
On 21:42 Wed 27 Oct , Matthias Klose wrote:
> patch ping
> On 21.10.2010 00:36, Matthias Klose wrote:
> > On 21.10.2010 00:23, Matthias Klose wrote:
> >> These headers are included in every JDK_HOME, no need to carry local copies.
> > on some systems, both I$(BOOT_DIR)/include and I$(BOOT_DIR)/include/linux may be
> > needed.
I've already replied to this.
It's approved with the listed change, assuming it has been sufficiently tested.
Free Java Software Engineer
Red Hat, Inc. (http://www.redhat.com)
Support Free Java!
Contribute to GNU Classpath and the OpenJDK
PGP Key: 94EFD9D8 (http://subkeys.pgp.net)
Fingerprint = F8EF F1EA 401E 2E60 15FA 7927 142C 2591 94EF D9D8
More information about the distro-pkg-dev