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

Wed May 7 11:51:18 UTC 2025

On Wed, 7 May 2025 09:18:29 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 one additional commit since the last revision:
> 
>   Add missing \

Apart from these test failures, the jcov run, including report generation, was successful.

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

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