ant-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From jwadamson <>
Subject [GitHub] ant pull request: Bug 58874: Ant fails to run if ANT_HOME contains...
Date Sun, 17 Jan 2016 13:56:43 GMT
Github user jwadamson commented on the pull request:
    Looks likeant_exec_args would be a more complicated fix. I'll leave that for another patch
as it probably should be considered a separate issue anyway. (to executing `ant -Dfoo=\" `

If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at or file a JIRA ticket
with INFRA.

To unsubscribe, e-mail:
For additional commands, e-mail:

View raw message