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

changeset 571
f0e3ec1f9d9f
parent 535
96072ad00783
child 573
005bec70ca27
equal deleted inserted replaced
544:98cba5876cb5 571:f0e3ec1f9d9f
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