[cp-patches] [Patch] JNI method checking during build time

[Michael Koch]

Hi list,


I have written the attached patch to check at build time if all needed
JNI methods are implement and no old/obsolete JNI method exists anymore.
This makes the build fail when the JNI methods get borked.

The plan is to test this for a while in GNU classpath and then put it
into GCC (HEAD and java-gui-branch) too.

The script allows to ignore special JNI methods, e.g. when they are
supposed to be implemented by the VM.

Currently two methods from the GTK peer are ignore. Someone who knows
what he does should look into them.

Ok to commit ?


Michael


2004-11-15  Michael Koch  <address@hidden>

        * native/jni/Makefile.am: Add checking of JNI methods.
        * scripts/check_jni_methods.sh: New file.

jnicheck.diff
Description: Text document