Integrated: Remove --source from help message

Jorn Vernee jvernee at openjdk.org
Wed Mar 13 16:06:26 UTC 2024


On Wed, 13 Mar 2024 14:04:09 GMT, Jorn Vernee <jvernee at openjdk.org> wrote:

> This last reference to the `--source` option was missed when https://github.com/openjdk/jextract/pull/186 was fixed.
> 
> Removes `--source` from the help message.

This pull request has now been integrated.

Changeset: b9ec8879
Author:    Jorn Vernee <jvernee at openjdk.org>
URL:       https://git.openjdk.org/jextract/commit/b9ec8879cff052b463237fdd76382b3a5cd8ff2b
Stats:     1 line in 1 file changed: 0 ins; 1 del; 0 mod

Remove --source from help message

Reviewed-by: sundar, mcimadamore

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

PR: https://git.openjdk.org/jextract/pull/226


More information about the jextract-dev mailing list