[GitHub] ant issue #80: Added tasks for JDK's jmod and jlink tools.

2018-12-06 Thread asfgit
Github user asfgit commented on the issue: https://github.com/apache/ant/pull/80 Can one of the admins verify this patch? --- - To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org For additional commands, e-mail:

[GitHub] ant pull request #80: Added tasks for JDK's jmod and jlink tools.

2018-12-06 Thread craigpell
GitHub user craigpell opened a pull request: https://github.com/apache/ant/pull/80 Added tasks for JDK's jmod and jlink tools. Support for the jmod and jlink tools present in the JDK since Java 9. Now that Java 11 has no standalone JRE, officially, these tools are the only way to

[GitHub] ant issue #80: Added tasks for JDK's jmod and jlink tools.

2018-12-06 Thread asfgit
Github user asfgit commented on the issue: https://github.com/apache/ant/pull/80 Can one of the admins verify this patch? --- - To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org For additional commands, e-mail:

[GitHub] ant issue #80: Added tasks for JDK's jmod and jlink tools.

2018-12-06 Thread jaikiran
Github user jaikiran commented on the issue: https://github.com/apache/ant/pull/80 this is ok to test --- - To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org For additional commands, e-mail: dev-h...@ant.apache.

[GitHub] ant issue #80: Added tasks for JDK's jmod and jlink tools.

2018-12-06 Thread asfgit
Github user asfgit commented on the issue: https://github.com/apache/ant/pull/80 Refer to this link for build results (access rights to CI server needed): https://builds.apache.org/job/Ant%20Github-PR-Windows/101/ --- ---

[GitHub] ant issue #80: Added tasks for JDK's jmod and jlink tools.

2018-12-06 Thread asfgit
Github user asfgit commented on the issue: https://github.com/apache/ant/pull/80 Refer to this link for build results (access rights to CI server needed): https://builds.apache.org/job/Ant%20Github-PR-Linux/95/ --- --