src/share/classes/com/sun/tools/javac/main/Main.java

changeset 573
005bec70ca27
parent 554
9d9f26857129
parent 571
f0e3ec1f9d9f
child 591
d1d7595fa824
equal deleted inserted replaced
570:ab1356297c67 573:005bec70ca27
278 if (targetString == null && !source.allowGenerics()) { 278 if (targetString == null && !source.allowGenerics()) {
279 target = Target.JDK1_4; 279 target = Target.JDK1_4;
280 options.put("-target", target.name); 280 options.put("-target", target.name);
281 } 281 }
282 } 282 }
283 }
284 if (target.hasInvokedynamic()) {
285 options.put("invokedynamic", "invokedynamic");
286 } 283 }
287 284
288 // handle this here so it works even if no other options given 285 // handle this here so it works even if no other options given
289 String showClass = options.get("showClass"); 286 String showClass = options.get("showClass");
290 if (showClass != null) { 287 if (showClass != null) {

mercurial