[patch] let gjdoc accept -source 1.[567]
Matthias Klose <[email protected]>
| Newsgroups | gmane.comp.gcc.java.patches |
|---|---|
| Message-ID | <[email protected]> |
this patch is now in classpath trunk. the compiler does accept the newer -source versions, so gjdoc should do as well (with a warning). ok for the trunk? ok for the 4.7 branch as well? it looks safe, as it only tries to accept the option, and maybe bails out later. at least it helps with unmodified sources which are now built with a newer -source option. Matthias
libjava-gjdoc.diff
(text/x-diff, 1.2 KB)
# DP: Let gjdoc accept -source 1.5|1.6|1.7. Addresses: #678945.
--- a/src/libjava/classpath/tools/gnu/classpath/tools/gjdoc/Main.java
+++ b/src/libjava/classpath/tools/gnu/classpath/tools/gjdoc/Main.java
@@ -1337,12 +1337,17 @@
void process(String[] args)
{
option_source = args[0];
- if (!"1.2".equals(option_source)
+ if ("1.5".equals(option_source)
+ || "1.6".equals(option_source)
+ || "1.7".equals(option_source)) {
+ System.err.println("WARNING: support for option -source " + option_source + " is experimental");
+ }
+ else if (!"1.2".equals(option_source)
&& !"1.3".equals(option_source)
&& !"1.4".equals(option_source)) {
- throw new RuntimeException("Only he following values are currently"
- + " supported for option -source: 1.2, 1.3, 1.4.");
+ throw new RuntimeException("Only the following values are currently"
+ + " supported for option -source: 1.2, 1.3, 1.4; experimental: 1.5, 1.6, 1.7.");
}
}
});