| <?xml version="1.0" encoding="UTF-8"?> |
| <project |
| name="update" |
| default="update"> |
| <target name="update"> |
| |
| <property |
| name="from.update.site" |
| value="file://${user.home}/downloads/webtools/downloads/drops/R1.5/R-1.5.4-200705021353/updateSite/" /> |
| <echo message=" pulling update jars from ${from.update.site}" /> |
| |
| |
| |
| |
| <ant antfile="updateMirrorProject.xml"> |
| <property |
| name="featureId" |
| value="org.eclipse.jem" /> |
| <property |
| name="version" |
| value="1.2.4.v200704181020--6zXJK0L0SE3a95" /> |
| </ant> |
| <ant antfile="updateMirrorProject.xml"> |
| <property |
| name="featureId" |
| value="org.eclipse.jem.sdk" /> |
| <property |
| name="version" |
| value="1.2.4.v200704140333-GIHlkYKbOQv_rA7" /> |
| </ant> |
| |
| </target> |
| </project> |