[ping] Re: [patch, icedtea-web] Don't include copies of jni.h and jni_md.h

[Dr Andrew John Hughes]

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.

http://mail.openjdk.java.net/pipermail/distro-pkg-dev/2010-October/010610.html

It's approved with the listed change, assuming it has been sufficiently tested.
-- 
Andrew :)

Free Java Software Engineer
Red Hat, Inc. (http://www.redhat.com)

Support Free Java!
Contribute to GNU Classpath and the OpenJDK
http://www.gnu.org/software/classpath
http://openjdk.java.net
PGP Key: 94EFD9D8 (http://subkeys.pgp.net)
Fingerprint = F8EF F1EA 401E 2E60 15FA  7927 142C 2591 94EF D9D8