Changed .h files after maintainer build

Wed Feb 7 11:15:00 GMT 2007

Tom Tromey wrote:
> >>>>> "Marco" == Marco Trudel <mtrudel@gmx.ch> writes:
>> Marco> Anyone forgot to commit them or does it look like a problem?
> Marco> With recent builds (around > 121200) I have new problems with
> Marco> JNI. Might be correlated... I'm currently trying to figure
> Marco> out the cause...
>> Yeah, I must have missed committing them. Sorry about that. Feel
> free to check them in.

The reason this happens is that there's no rule to force regeneration
of the headers, so you make your changes and test it but the headers
haven't been regenerated, so the next time someone does a clean build
after you committed it the updated headers appear.
Cheers,
Gary