[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/



---

-
To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org
For additional commands, e-mail: dev-h...@ant.apache.org



[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/



---

-
To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org
For additional commands, e-mail: dev-h...@ant.apache.org



[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.org



[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 
distribute client-side Java applications.

You can merge this pull request into a Git repository by running:

$ git pull https://github.com/craigpell/ant jmod-and-jlink

Alternatively you can review and apply these changes as the patch at:

https://github.com/apache/ant/pull/80.patch

To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:

This closes #80


commit 3bc80754d5063b88c3a8b044e9774c0a791ac2ff
Author: VGR 
Date:   2018-12-07T04:32:57Z

Added tasks for JDK's jmod and jlink tools.




---

-
To unsubscribe, e-mail: dev-unsubscr...@ant.apache.org
For additional commands, e-mail: dev-h...@ant.apache.org



[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: dev-h...@ant.apache.org



[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: dev-h...@ant.apache.org