1 | if (attributes.getSource() != null) {↵ | | |
|
2 | cmd.createArgument().setValue("-source");↵ | | 1 | cmd.createArgument().setValue("-source");↵
|
3 | String source = attributes.getSource();↵ | | 2 | String source = attributes.getSource();↵
|
4 | if↵ | | 3 | if ((assumeJava14() || assumeJava15())↵
|
5 | (source.equals("1.1") || source.equals("1.2")) {↵ | | 4 | && (source.equals("1.1") || source.equals("1.2"))) {↵
|
6 | // support for -source 1.1 and -source 1.2 has been↵ | | 5 | // support for -source 1.1 and -source 1.2 has been↵
|
7 | // added with JDK 1.4.2, Jikes doesn't like it↵ | | 6 | // added with JDK 1.4.2↵
|
8 | attributes.log("Jikes doesn't support '-source "↵ | | |
|
9 | + source + "', will use '-source 1.3' instead");↵ | | 7 | - and isn't present in 1.5.0 either↵
|
10 | cmd.createArgument().setValue("1.3");↵ | | 8 | cmd.createArgument().setValue("1.3");↵
|
11 | } else {↵ | | 9 | } else {↵
|
12 | cmd.createArgument().setValue(source);↵ | | 10 | cmd.createArgument().setValue(source);↵
|
13 | }↵ | | 11 | }
|
14 | } | | | |