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

Wed May 7 13:32:22 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.

This pull request has now been integrated.

Changeset: ca5e0b18
Author:    Magnus Ihse Bursie <ihse at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/ca5e0b1848054848fb5e39eebac06f2011cceb2e
Stats:     46 lines in 6 files changed: 38 ins; 0 del; 8 mod

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

Reviewed-by: erikj

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

PR: https://git.openjdk.org/jdk/pull/24481