| david_williams | ed5201c | 2007-05-27 05:48:38 +0000 | [diff] [blame] | 1 | <?xml version="1.0" encoding="UTF-8"?> |
| 2 | <project |
| 3 | name="update" |
| 4 | default="update"> |
| 5 | <target name="update"> |
| 6 | |
| 7 | <property |
| david_williams | e0a2e79 | 2007-05-27 05:58:30 +0000 | [diff] [blame] | 8 | name="from.update.site" |
| 9 | value="file://${user.home}/downloads/webtools/downloads/drops/R1.5/R-1.5.4-200705021353/updateSite/" /> |
| 10 | <echo message=" pulling update jars from ${from.update.site}" /> |
| david_williams | ed5201c | 2007-05-27 05:48:38 +0000 | [diff] [blame] | 11 | |
| 12 | |
| 13 | |
| 14 | |
| 15 | <ant antfile="updateMirrorProject.xml"> |
| 16 | <property |
| 17 | name="featureId" |
| 18 | value="org.eclipse.jem" /> |
| 19 | <property |
| 20 | name="version" |
| 21 | value="1.2.4.v200704181020--6zXJK0L0SE3a95" /> |
| 22 | </ant> |
| 23 | <ant antfile="updateMirrorProject.xml"> |
| 24 | <property |
| 25 | name="featureId" |
| 26 | value="org.eclipse.jem.sdk" /> |
| 27 | <property |
| 28 | name="version" |
| 29 | value="1.2.4.v200704140333-GIHlkYKbOQv_rA7" /> |
| 30 | </ant> |
| 31 | |
| 32 | </target> |
| 33 | </project> |