]>
Savannah Git Hosting - gnulib.git/commit
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.