equal
deleted
inserted
replaced
75 |
75 |
76 if (!config.initialArchives().isEmpty()) { |
76 if (!config.initialArchives().isEmpty()) { |
77 String list = config.initialArchives().stream() |
77 String list = config.initialArchives().stream() |
78 .map(Archive::getPathName).collect(joining(" ")); |
78 .map(Archive::getPathName).collect(joining(" ")); |
79 throw new JdepsTask.UncheckedBadArgs(new BadArgs("err.invalid.module.option", |
79 throw new JdepsTask.UncheckedBadArgs(new BadArgs("err.invalid.module.option", |
80 list, "-check")); |
80 list, "--check")); |
81 } |
81 } |
82 |
82 |
83 this.configuration = config; |
83 this.configuration = config; |
84 this.log = log; |
84 this.log = log; |
85 |
85 |