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

[Tom Tromey]

>>>>> "Michael" == Michael Koch <address@hidden> writes:

Michael> I thought about where to put the check before I have done it. Your 
Michael> solution will only do the check when one of the headers change and 
Michael> not when the c files change. Its possible that developers add a 
Michael> method to a c file and forget to regenerate the header file. This 
Michael> script makes it fail when this happens. When it depends on $(H_FILES) 
Michael> in include/Makefile.am this will not happen.

Good point; and `include' is built before the native code too.  So I
think this is fine.

Tom