From: Bruno Haible Date: Fri, 9 Jun 2023 15:08:14 +0000 (+0200) Subject: javaversion: Update comments. X-Git-Tag: v1.0~1230 X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=37812c9a5eb3bc6f4c6cc437cde5ff8e44c2f81f;p=gnulib.git javaversion: Update comments. * lib/javaversion.h (javaexec_version): Document the possible results up to OpenJDK 20. --- diff --git a/ChangeLog b/ChangeLog index 8452637679..0c7c2fa967 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2023-06-09 Bruno Haible + + javaversion: Update comments. + * lib/javaversion.h (javaexec_version): Document the possible results up + to OpenJDK 20. + 2023-06-09 Bruno Haible javacomp: Remove support for 'jikes'. diff --git a/lib/javaversion.h b/lib/javaversion.h index 99157466b9..64cdbeaa32 100644 --- a/lib/javaversion.h +++ b/lib/javaversion.h @@ -33,7 +33,8 @@ extern "C" { /* Return information about the Java version used by execute_java_class(). This is the value of System.getProperty("java.specification.version"). - Some possible values are: 1.1, 1.2, 1.3, 1.4, 1.5, 1.6, 1.7, 1.8, 9, 10, 11. + Some possible values are: 1.1, 1.2, 1.3, 1.4, 1.5, 1.6, 1.7, 1.8, 9, 10, 11, + 12, 13, 14, 15, 16, 17, 18, 19, 20. Return NULL if the Java version cannot be determined. */ extern char * javaexec_version (void) _GL_ATTRIBUTE_MALLOC _GL_ATTRIBUTE_DEALLOC_FREE;