Tom Tromey
Tue Dec 9 18:35:00 GMT 2003

>>>>> "Michael" == Michael Koch <> writes:

Michael> has a problem with installing generated inner nat
Michael> headers.  The attached patch fixes this by explicitely
Michael> installing these headers. This was necessary because if the $
Michael> int the file names and mangling of this in make and install.

This is ok with one minor change.

Michael> +# Install inner class headers.

This should be a "##" comment so it doesn't end up in


More information about the Java-patches mailing list