Integrated: 7903154: jextract build fails on Windows

Mon Apr 11 14:57:24 UTC 2022

On Mon, 11 Apr 2022 14:48:56 GMT, Athijegannathan Sundararajan <sundar at openjdk.org> wrote:

> Apart from quote issue for --add-options, @mcimadamore found that the verify target failed as well. "jextract.bat" has to be launched on Windows (instead of "jextract")

This pull request has now been integrated.

Changeset: 9c3e0f8c
Author:    Athijegannathan Sundararajan <sundar at openjdk.org>
Committer: Maurizio Cimadamore <mcimadamore at openjdk.org>
URL:       https://git.openjdk.java.net/jextract/commit/9c3e0f8cabdab34f7546e778c98eadc531a76cb6
Stats:     3 lines in 1 file changed: 1 ins; 0 del; 2 mod

7903154: jextract build fails on Windows

Reviewed-by: mcimadamore

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

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