New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
7903129: jextract does not handle @argfile #4
Conversation
👋 Welcome back sundar! A progress list of the required criteria for merging this PR into |
@sundararajana This change now passes all automated pre-integration checks. After integration, the commit message for the final commit will be:
You can use pull request commands such as /summary, /contributor and /issue to adjust it as needed. At the time when this comment was updated there had been no new commits pushed to the As you do not have Committer status in this project an existing Committer must agree to sponsor your change. Possible candidates are the reviewers of this PR (@mcimadamore) but any other Committer may sponsor as well. ➡️ To flag this PR as ready for integration with the above commit message, type |
Webrevs
|
@@ -22,6 +22,7 @@ | |||
# | |||
|
|||
# error message | |||
argfile.read.error=reading @argfile failed: {0} |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Can the error only occur because of arg file?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yes. CommandLine.parse
* @throws IOException if there is a problem reading any of the @files
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good - we should probably add a test for this, using tool provider
/integrate |
@sundararajana |
/integrate |
/sponsor |
@mcimadamore Only the author (@sundararajana) is allowed to issue the |
Going to push as commit 60978d2. |
@mcimadamore @sundararajana Pushed as commit 60978d2. 💡 You may see a message that your pull request was closed with unmerged commits. This can be safely ignored. |
Mailing list message from Sundararajan Athijegannathan on jextract-dev: Hi, Fix has been integrated. Please check @argfile support. Thanks for reporting this issue, On Thu, 24 Mar 2022 16:59:40 GMT, Athijegannathan Sundararajan <sundar at openjdk.org> wrote:
This pull request has now been integrated. Changeset: 60978d2 7903129: jextract does not handle @argfile Reviewed-by: mcimadamore ------------- PR: https://git.openjdk.java.net/jextract/pull/4 |
Missed CommandLine.parse call in JextractTool.run method.
Progress
Issue
Reviewers
Reviewing
Using
git
Checkout this PR locally:
$ git fetch https://git.openjdk.java.net/jextract pull/4/head:pull/4
$ git checkout pull/4
Update a local copy of the PR:
$ git checkout pull/4
$ git pull https://git.openjdk.java.net/jextract pull/4/head
Using Skara CLI tools
Checkout this PR locally:
$ git pr checkout 4
View PR using the GUI difftool:
$ git pr show -t 4
Using diff file
Download this PR as a diff file:
https://git.openjdk.java.net/jextract/pull/4.diff