equal
deleted
inserted
replaced
155 Path[] paths = new Path[dirs.length]; |
155 Path[] paths = new Path[dirs.length]; |
156 int i = 0; |
156 int i = 0; |
157 for (String dir : dirs) { |
157 for (String dir : dirs) { |
158 paths[i++] = Paths.get(dir); |
158 paths[i++] = Paths.get(dir); |
159 } |
159 } |
160 jartool.moduleFinder = |
160 jartool.moduleFinder = ModulePath.of(Runtime.version(), true, paths); |
161 new ModulePath(Runtime.version(), true, paths); |
|
162 } |
161 } |
163 }, |
162 }, |
164 new Option(false, OptionType.CREATE_UPDATE, "--do-not-resolve-by-default") { |
163 new Option(false, OptionType.CREATE_UPDATE, "--do-not-resolve-by-default") { |
165 void process(Main jartool, String opt, String arg) { |
164 void process(Main jartool, String opt, String arg) { |
166 ModuleResolution mres = jartool.moduleResolution; |
165 ModuleResolution mres = jartool.moduleResolution; |