From 37812c9a5eb3bc6f4c6cc437cde5ff8e44c2f81f Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Fri, 9 Jun 2023 17:08:14 +0200 Subject: [PATCH] javaversion: Update comments. * lib/javaversion.h (javaexec_version): Document the possible results up to OpenJDK 20. --- ChangeLog | 6 ++++++ lib/javaversion.h | 3 ++- 2 files changed, 8 insertions(+), 1 deletion(-) 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; -- 2.39.5