[patch] let gjavah accept -source 1.[567]
Matthias Klose <[email protected]>
| Newsgroups | gmane.comp.gcc.java.patches,gmane.comp.java.classpath.patches |
|---|---|
| Message-ID | <[email protected]> |
Currently gjavah only accepts -source 1.4 and lower, and errors out for any other value. Would it be reasonable to accept higher versions too? Matthias
gjdoc.diff
(text/x-diff, 1009 B)
Index: classpath/tools/gnu/classpath/tools/gjdoc/Main.java
===================================================================
--- classpath/tools/gnu/classpath/tools/gjdoc/Main.java (Revision 194604)
+++ classpath/tools/gnu/classpath/tools/gjdoc/Main.java (Arbeitskopie)
@@ -1339,10 +1310,13 @@
option_source = args[0];
if (!"1.2".equals(option_source)
&& !"1.3".equals(option_source)
- && !"1.4".equals(option_source)) {
+ && !"1.4".equals(option_source)
+ && !"1.5".equals(option_source)
+ && !"1.6".equals(option_source)
+ && !"1.7".equals(option_source)) {
throw new RuntimeException("Only he following values are currently"
- + " supported for option -source: 1.2, 1.3, 1.4.");
+ + " supported for option -source: 1.2, 1.3, 1.4, 1.5, 1.6, 1.7.");
}
}
});