What to do about java.version?

Tom Tromey tromey@redhat.com
Tue Feb 26 21:59:00 GMT 2002


>>>>> "Per" == Per Bothner <per@bothner.com> writes:

>> I don't think this version number has changed in years.  Perhaps we
>> should be using some mangling of the gcj version number.

Per> I'd say just use the gcc version - i.e. "3.0.4".

This came up on java-patches recently.  I agree, we should just use
the gcc version number.  I have a patch to do this which I'll check in
soon (gcc.gnu.org seems down atm).

Tom



More information about the Java mailing list