RFR: 7903187: jextract should support --version option [v2]

[Maurizio Cimadamore]

On Fri, 13 May 2022 15:34:45 GMT, Athijegannathan Sundararajan <sundar at openjdk.org> wrote:

>> added --version option that prints the underlying Java version and exits.
>
> Athijegannathan Sundararajan has updated the pull request incrementally with one additional commit since the last revision:
> 
>   adding more info to version output per review recommendation

Ouch - I didn't spot that the README file needs to be updated to document the new option (since we give a list of all the supported options).

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

PR: https://git.openjdk.java.net/jextract/pull/31