| <?xml version="1.0" encoding="UTF-8"?> |
| <project name="update" default="update"> |
| <target name="update"> |
| <echo message="-------- Project: TPTP Responsible: sdoddapaneni" /> |
| <property name="updateSite" |
| value="file://${user.home}/downloads/tptp/updates/europa/site.xml" /> |
| |
| <echo message=" pulling update jars from ${updateSite}" /> |
| |
| <ant antfile="updateMirrorProject.xml"> |
| <property name="featureId" |
| value="org.eclipse.tptp.monitoring.runtime" /> |
| <property name="version" |
| value="4.4.2.v200802070100-7U7RAt-wb2KSH28_SYpLQtdrz-9e" /> |
| </ant> |
| |
| <ant antfile="updateMirrorProject.xml"> |
| <property name="featureId" |
| value="org.eclipse.tptp.platform.runtime" /> |
| <property name="version" |
| value="4.4.100.v200709030100-8I83Ecg1JNMoVNoIuHeJz0pkKXp4" /> |
| </ant> |
| |
| <ant antfile="updateMirrorProject.xml"> |
| <property name="featureId" |
| value="org.eclipse.tptp.test.runtime" /> |
| <property name="version" |
| value="4.3.200.v200709070956-7E7_E9w-QhbZaKJDf3VccSsHGVpw" /> |
| </ant> |
| |
| <ant antfile="updateMirrorProject.xml"> |
| <property name="featureId" |
| value="org.eclipse.tptp.trace.runtime" /> |
| <property name="version" |
| value="4.3.100.v200709070956-7E78CE-UUN_z05rAKNleTVlXSVO_" /> |
| </ant> |
| |
| <ant antfile="updateMirrorProject.xml"> |
| <property name="featureId" |
| value="org.eclipse.tptp.wtp" /> |
| <property name="version" |
| value="4.4.100.v200709030100-774_9-CIHmC_8lIIAhAXCWBG9B" /> |
| </ant> |
| |
| <ant antfile="updateMirrorProject.xml"> |
| <property name="featureId" |
| value="org.eclipse.tptp.birt" /> |
| <property name="version" |
| value="4.4.100.v200709030100-7I7GE8O-hthrtiF4tTV1U8Yz0V2i" /> |
| </ant> |
| |
| </target> |
| </project> |