equal
deleted
inserted
replaced
261 |
261 |
262 }), |
262 }), |
263 |
263 |
264 ADD_LAUNCHER ("add-launcher", |
264 ADD_LAUNCHER ("add-launcher", |
265 OptionCategories.PROPERTY, () -> { |
265 OptionCategories.PROPERTY, () -> { |
|
266 String spec = popArg(); |
|
267 String name = null; |
|
268 String filename = spec; |
|
269 if (spec.contains("=")) { |
|
270 String[] values = spec.split("=", 2); |
|
271 name = values[0]; |
|
272 filename = values[1]; |
|
273 } |
266 context().addLaunchers.add( |
274 context().addLaunchers.add( |
267 new AddLauncherArguments(popArg())); |
275 new AddLauncherArguments(name, filename)); |
268 }), |
276 }), |
269 |
277 |
270 TEMP_ROOT ("temp-root", OptionCategories.PROPERTY, () -> { |
278 TEMP_ROOT ("temp-root", OptionCategories.PROPERTY, () -> { |
271 context().buildRoot = popArg(); |
279 context().buildRoot = popArg(); |
272 context().userProvidedBuildRoot = true; |
280 context().userProvidedBuildRoot = true; |