RFR: 8282493: Add --with-jcov-modules convenience option [v3]

Tue May 6 19:48:15 UTC 2025

On Tue, 6 May 2025 15:06:36 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.
>
> Magnus Ihse Bursie has updated the pull request incrementally with two additional commits since the last revision:
> 
>  - Update copyright year
>  - Update testing documentation

Looks fine, note that is a merge conflict with https://github.com/openjdk/jdk/commit/e2df9cdeb081735bddd24ac2622f59e20cda47ad

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

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