| <project default="copy"> |
| |
| <target name="copy"> |
| <echo message="Fix incorrect XML in digest.zip (<a href="https://bugs.eclipse.org/bugs/show_bug.cgi?id=187396">bug 187396</a>)" /> |
| <exec executable="unzip" |
| dir="${updateSite}"> |
| <arg value="digest.zip"/> |
| </exec> |
| <exec executable="perl" |
| dir="${updateSite}"> |
| <arg value="-pi"/> |
| <arg value="-e"/> |
| <arg value='s/"true"search/"true" search/g'/> |
| <arg value="digest.xml"/> |
| </exec> |
| <exec executable="zip" |
| dir="${updateSite}"> |
| <arg value="-m"/> |
| <arg value="digest.zip"/> |
| <arg value="digest.xml"/> |
| </exec> |
| |
| <echo message="Replacing the known corrupted files"/> |
| <copy todir="${updateSite}/plugins" |
| overwrite="true" verbose="true"> |
| <fileset dir="/home/data/users/bfreeman/downloads/eclipse/updates/3.3milestones/plugins/"> |
| <include name="org.eclipse.jdt.core_3.3.0.v_770.jar*"/> |
| </fileset> |
| </copy> |
| <copy todir="${updateSite}/plugins" |
| overwrite="true" verbose="true"> |
| <fileset dir="/home/data/users/bfreeman/downloads/birt/update-site/plugins/"> |
| <include name="org.eclipse.birt.report.engine_2.2.0.v20070614.jar*"/> |
| </fileset> |
| </copy> |
| |
| <echo message="Delete zero length packed files (<a href="https://bugs.eclipse.org/bugs/show_bug.cgi?id=187396">bug 187396</a>)" /> |
| <exec executable="find"> |
| <arg value="${updateSite}"/> |
| <arg value="-name"/> |
| <arg value="*.gz"/> |
| <arg value="-empty"/> |
| <arg value="-printf"/> |
| <arg value="Error zero length file: "/> |
| <arg value="-print"/> |
| <arg value="-execdir"/> |
| <arg value="rm"/> |
| <arg value="{}"/> |
| <arg value=";"/> |
| </exec> |
| </target> |
| </project> |