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