Integrated: 8355725: SPEC_FILTER stopped working

[Magnus Ihse Bursie]

On Wed, 28 May 2025 00:06:36 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote:

> From the bug description:
> 
> The SPEC_FILTER make variable is meant to be used to create small documentation bundles that just contain some selected files. Example usage:
> 
> `make docs-specs-zip SPEC_FILTER="%-jls.md copyright.html %logo.gif resources"`
> 
> The fix for [JDK-8349143](https://bugs.openjdk.org/browse/JDK-8349143) caused the feature to stop working: no matter what the filter variables says, all the specs get built. This is a regression, old behavior needs to be restored.

This pull request has now been integrated.

Changeset: 63d0e7ff
Author:    Magnus Ihse Bursie <ihse at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/63d0e7ff117537bf4768b88c43a0231a14ed1512
Stats:     3 lines in 1 file changed: 2 ins; 0 del; 1 mod

8355725: SPEC_FILTER stopped working

Reviewed-by: erikj

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

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