On Thu, 25 Jul 2024 10:54:43 GMT, Kevin Walls <kev...@openjdk.org> wrote:
> Do we need to update all the initialisations to set _filename members to type
> "FILE" ?
I checked, no we don't NEED to change them. We can, it works either way. It
does affect the help output. e.g.
Arguments:
filepath : The file path to the output file (FILE, no default value)
...which would be good as it's a way of telling people these are FILEs
therefore %p is interpreted, rather than just a STRING.
-------------
PR Comment: https://git.openjdk.org/jdk/pull/20198#issuecomment-2250289811
