Open GoogleCodeExporter opened 9 years ago
Relevant parts of the code are
milestone = jsr308-${jsr308.version}
line in jsr308-langtools/make/build.properties
and the -version
and -fullversion
options in
jsr308-langtools/src/share/classes/com/sun/tools/javac/main/Options.java
.
Including the Checker Framework version seems to require changing javac, but we would prefer to minimize changes to it.
Original issue reported on code.google.com by
wdi...@gmail.com
on 15 Jun 2013 at 1:24