| <?xml version="1.0" encoding="UTF-8"?> |
| <project |
| name="update" |
| default="update" |
| basedir="."> |
| |
| |
| <target name="update"> |
| <echo message="Creating duplicate update site based on what site.xml needs" /> |
| |
| <java |
| taskname="createDuplicateSite" |
| fork="true" |
| resultProperty="updateResult" |
| failonerror="false" |
| jvm="${java15-home}/bin/java" |
| classname="org.eclipse.equinox.launcher.Main"> |
| <classpath> |
| <fileset dir="${eclipse.home}/plugins"> |
| <include name="org.eclipse.equinox.launcher_*.jar" /> |
| </fileset> |
| </classpath> |
| |
| |
| <jvmarg value="-DcontinueOnError=true" /> |
| <arg value="-clean" /> |
| <arg value="-nosplash" /> |
| <arg value="-application" /> |
| <arg value="org.eclipse.update.core.standaloneUpdate" /> |
| <arg value="-data" /> |
| <arg value="${basedir}/buildworkspace" /> |
| <arg value="-debug" /> |
| <arg value="-consolelog" /> |
| <arg value="-command" /> |
| <arg value="mirror" /> |
| <arg value="-from" /> |
| <arg value="${from.update.site}" /> |
| <arg value="-to" /> |
| <arg value="${to.update.site}" /> |
| |
| </java> |
| |
| </target> |
| </project> |