diff options
author | Bruno Haible <bruno@clisp.org> | 2018-03-24 13:16:21 +0100 |
---|---|---|
committer | Bruno Haible <bruno@clisp.org> | 2018-03-24 13:16:21 +0100 |
commit | 8e33103c084e5c7714e821f5fae592b9cbbb4781 (patch) | |
tree | e6deff772ef19fccf38d464267336bcb6c836109 /lib/javaversion.h | |
parent | e6cf0b3040eb5d77eb1c03a7f8231a65a1f11e16 (diff) | |
download | gnulib-8e33103c084e5c7714e821f5fae592b9cbbb4781.tar.gz |
javacomp-script, javacomp: Add support for Java 10.
* m4/javacomp.m4 (gt_JAVACOMP): Accept source-version 10 and
target-version 10.
* lib/javaversion.h: Update comments.
* lib/javacomp.c (default_target_version, SOURCE_VERSION_BOUND,
source_version_index, get_goodcode_snippet, get_failcode_snippet,
TARGET_VERSION_BOUND, target_version_index,
corresponding_classfile_version): Accept source_version 10 and
target_version 10.
* lib/javacomp.h: Update comments accordingly.
Diffstat (limited to 'lib/javaversion.h')
-rw-r--r-- | lib/javaversion.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/javaversion.h b/lib/javaversion.h index 86cbd1a33e..e7ab435151 100644 --- a/lib/javaversion.h +++ b/lib/javaversion.h @@ -26,7 +26,7 @@ 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. + Some possible values are: 1.1, 1.2, 1.3, 1.4, 1.5, 1.6, 1.7, 1.8, 9, 10. Return NULL if the Java version cannot be determined. */ extern char * javaexec_version (void); |