On Tue, 19 Nov 2024 06:12:21 GMT, David Holmes <dhol...@openjdk.org> wrote:
>> Please review this improvement to the manual page covering the usage of >> wildcards in `java`'s argfiles. > > src/java.base/share/man/java.md line 3079: > >> 3077: For example `*.java` stays `*.java` and is not expanded to >> `Foo.java`, >> 3078: `Bar.java`, etc. like on some command line shell. >> 3079: > > This expansion now seems to be in conflict with the later statement: > > Wildcards (*) aren't allowed in these lists (such as specifying *.java). > > ?? To be honest I'm not sure what that later statement is actually trying to > say. Never mind I see now this was already flagged. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/22208#discussion_r1847698402