On 11 May 2001, Tom Tromey wrote:
> I think what we want to avoid is more ad hoc configury.
I agree, except that I'd like to add --{enable,disable}-jni (with enable
the default). This would be easiest to do at configure time.
It wouldn't save much space though, I'd guess. The general problem of
omitting entire packages from the java tree is difficult.
Jeff