On Mon, 3 Jul 2023 21:22:36 GMT, Oliver Kopp <d...@openjdk.org> wrote:
>> `plugins.properties` needs to be updated to show the option added for this >> plugin. >> >> BTW, the current argument described in the usage is out-dated which needs >> update. >> >> system-modules.argument=retainModuleTarget > > Added it at 9835a64018d. This is not for the main `./configure`. To which > configure does that go? `SystemModulesPlugin::configure` ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/14408#discussion_r1251303974
