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

[Mickael Istria (JIRA)]

Mickael Istria created JBIDE-13086:
--------------------------------------

             Summary: 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: Nick Boldt
             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