equal
deleted
inserted
replaced
529 if (o.isHidden()) |
529 if (o.isHidden()) |
530 continue; |
530 continue; |
531 String name = o.aliases[0].substring(1); // there must always be at least one name |
531 String name = o.aliases[0].substring(1); // there must always be at least one name |
532 log.println(getMessage("main.opt." + name)); |
532 log.println(getMessage("main.opt." + name)); |
533 } |
533 } |
534 String[] fmOptions = { "-classpath", "-bootclasspath" }; |
534 String[] fmOptions = { "-classpath", "-cp", "-bootclasspath" }; |
535 for (String o: fmOptions) { |
535 for (String o: fmOptions) { |
536 if (fileManager.isSupportedOption(o) == -1) |
536 if (fileManager.isSupportedOption(o) == -1) |
537 continue; |
537 continue; |
538 String name = o.substring(1); |
538 String name = o.substring(1); |
539 log.println(getMessage("main.opt." + name)); |
539 log.println(getMessage("main.opt." + name)); |