RFR: 8282493: Add --with-jcov-modules convenience option

Tue Apr 8 18:54:14 UTC 2025

On Mon, 7 Apr 2025 08:45:13 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote:

> Allow the user to set "--with-jcov-modules=java.desktop", instead of "--with-jcov-filters=--include-modules java.desktop", since this is one of the common use cases for the filtering.

@shurymury I believe you are the one that originally requested this functionality. (The JBS issue is opened by me and does not mention you, but I think I created it after an offline conversation with you).

Can you please have a look at this, and verify that it works like intended?

-------------

PR Comment: https://git.openjdk.org/jdk/pull/24481#issuecomment-2787386009