[jbosstools-issues] [JBoss JIRA] (JBIDE-13086) Clean target-platforms (local.target and jenkins.target no more useful)

[Mickael Istria (JIRA)]

    [ https://issues.jboss.org/browse/JBIDE-13086?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12735956#comment-12735956 ] 

Mickael Istria commented on JBIDE-13086:
----------------------------------------

Right, this part was out of date. I removed it, and I also removed the parts referencing the Ant way to mirror a TP since we're not using it any more.
                
> Clean target-platforms (local.target and jenkins.target no more useful)
> -----------------------------------------------------------------------
>
>                 Key: JBIDE-13086
>                 URL: https://issues.jboss.org/browse/JBIDE-13086
>             Project: Tools (JBoss Tools)
>          Issue Type: Enhancement
>          Components: Build/Releng, target-platform
>            Reporter: Mickael Istria
>            Assignee: Mickael Istria
>             Fix For: 4.0.0.CR2
>
>
> local.target and jenkins.target are no more used in favor of Tycho 0.16 mirroring.
> So we don't need to build them any more. They should be removed and the target-platform site creation process should be reviewed to still provide local mirror without using the local.target.

--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: http://www.atlassian.com/software/jira