equal
deleted
inserted
replaced
360 super.process(helper, option); |
360 super.process(helper, option); |
361 } |
361 } |
362 }, |
362 }, |
363 |
363 |
364 // Note: -h is already taken for "native header output directory". |
364 // Note: -h is already taken for "native header output directory". |
365 HELP("--help -help", "opt.help", STANDARD, INFO) { |
365 HELP("--help -help -?", "opt.help", STANDARD, INFO) { |
366 @Override |
366 @Override |
367 public void process(OptionHelper helper, String option) throws InvalidValueException { |
367 public void process(OptionHelper helper, String option) throws InvalidValueException { |
368 Log log = helper.getLog(); |
368 Log log = helper.getLog(); |
369 String ownName = helper.getOwnName(); |
369 String ownName = helper.getOwnName(); |
370 log.printLines(WriterKind.STDOUT, PrefixKind.JAVAC, "msg.usage.header", ownName); |
370 log.printLines(WriterKind.STDOUT, PrefixKind.JAVAC, "msg.usage.header", ownName); |