On Mon, 7 Apr 2025 08:45:13 GMT, Magnus Ihse Bursie <i...@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 <i...@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