diff options
author | Philipe Mulet | 2001-10-04 14:37:40 +0000 |
---|---|---|
committer | Philipe Mulet | 2001-10-04 14:37:40 +0000 |
commit | 24a20e3349cb8d1f3026bbb28d298b40d13a728d (patch) | |
tree | ecfb3a4c00a6976cba5200f0fe24e571da058245 | |
parent | 9f4b3e1aa409f78b8ee09cdc2dc89cef0cd6dbdb (diff) | |
download | eclipse.jdt.core-unlabeled-1.4.2.tar.gz eclipse.jdt.core-unlabeled-1.4.2.tar.xz eclipse.jdt.core-unlabeled-1.4.2.zip |
*** empty log message ***unlabeled-1.4.2
-rw-r--r-- | org.eclipse.jdt.core/scripts/pluginUpdate.xml | 45 |
1 files changed, 0 insertions, 45 deletions
diff --git a/org.eclipse.jdt.core/scripts/pluginUpdate.xml b/org.eclipse.jdt.core/scripts/pluginUpdate.xml deleted file mode 100644 index 57ec6c3c6a..0000000000 --- a/org.eclipse.jdt.core/scripts/pluginUpdate.xml +++ /dev/null @@ -1,45 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?>
-
-<!-- build script to create a plugin from org.eclipse.jdt.core -->
-<project name="org.eclipse.jdt.core" default="export" basedir="..">
- <target name="init">
- <tstamp/>
- <property name="destdir" value="../../plugin-update" />
- <property name="dest" value="${destdir}/org.eclipse.jdt.core" />
- </target>
-
- <target name="export" depends="init">
-
- <echo message="TARGET: ${destdir}" />
- <mkdir dir="${destdir}" />
- <delete dir="${dest}" />
- <mkdir dir="${dest}" />
-
- <echo message="UPDATE jdtcore.jar" />
- <jar
- jarfile="${dest}/jdtcore.jar"
- basedir="bin" />
-
- <echo message="UPDATE plugin.xml" />
- <copy file="plugin.xml" todir="${dest}" />
-
- <echo message="UPDATE plugin.properties" />
- <copy file="plugin.properties" todir="${dest}" />
-
- <echo message="UPDATE notice.html" />
- <copy file="notice.html" todir="${dest}" />
-
- <echo message="UPDATE jdtcoresrc.zip" />
- <zip zipfile="${dest}/jdtcoresrc.zip">
- <zipfileset dir="Eclipse Java Ant Compiler" />
- <zipfileset dir="Eclipse Java Batch Compiler" />
- <zipfileset dir="Eclipse Java Code Assist" />
- <zipfileset dir="Eclipse Java Compiler" />
- <zipfileset dir="Eclipse Java Core Search" />
- <zipfileset dir="Eclipse Java Evaluation" />
- <zipfileset dir="Eclipse Java Model" />
- <zipfileset dir="Eclipse Java Formatter" />
- <zipfileset dir="Eclipse Java DOM" />
- </zip>
- </target>
-</project>
|