Integrated: 7903187: jextract should support --version option

[Athijegannathan Sundararajan]

On Fri, 13 May 2022 14:27:28 GMT, Athijegannathan Sundararajan <sundar at openjdk.org> wrote:

> added --version option that prints the underlying Java version and exits.

This pull request has now been integrated.

Changeset: cf154cd5
Author:    Athijegannathan Sundararajan <sundar at openjdk.org>
Committer: Maurizio Cimadamore <mcimadamore at openjdk.org>
URL:       https://git.openjdk.java.net/jextract/commit/cf154cd5fbfc9135dc062fa509176740f5881b83
Stats:     17 lines in 3 files changed: 16 ins; 0 del; 1 mod

7903187: jextract should support --version option

Reviewed-by: mcimadamore

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

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