diff options
| author | Dirk Baeumer | 2001-09-27 09:10:43 +0000 |
|---|---|---|
| committer | Dirk Baeumer | 2001-09-27 09:10:43 +0000 |
| commit | e19203d895376a28de471db0e0732603974309d0 (patch) | |
| tree | 22c8983d1d1d92817ba812ff3e66866b96dfacb0 /bundles/org.eclipse.compare/scripts/exportplugin.xml | |
| parent | 6d581ee44b310ce3a1d5646d68dbd5bd2bebdba6 (diff) | |
| download | eclipse.platform.team-e19203d895376a28de471db0e0732603974309d0.tar.gz eclipse.platform.team-e19203d895376a28de471db0e0732603974309d0.tar.xz eclipse.platform.team-e19203d895376a28de471db0e0732603974309d0.zip | |
Moved exportplugin.xml to script directory
Diffstat (limited to 'bundles/org.eclipse.compare/scripts/exportplugin.xml')
| -rw-r--r-- | bundles/org.eclipse.compare/scripts/exportplugin.xml | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/bundles/org.eclipse.compare/scripts/exportplugin.xml b/bundles/org.eclipse.compare/scripts/exportplugin.xml new file mode 100644 index 000000000..6697716dd --- /dev/null +++ b/bundles/org.eclipse.compare/scripts/exportplugin.xml @@ -0,0 +1,31 @@ +<project name="org.eclipse.compare" default="export" basedir="..">
+ <target name="init">
+ <tstamp/>
+ <property name="destdir" value="../../plugin-export" />
+ <property name="plugin" value="org.eclipse.compare" />
+ <property name="dest" value="${destdir}/${plugin}" />
+ </target>
+
+ <target name="build" depends="init">
+ <incremental project="${plugin}" kind="incr"/>
+ </target>
+
+ <target name="export" depends="build">
+ <mkdir dir="${destdir}" />
+ <delete dir="${dest}" />
+ <mkdir dir="${dest}" />
+ <jar
+ jarfile="${dest}/compare.jar"
+ basedir="bin"
+ />
+ <copy file="plugin.xml" todir="${dest}"/>
+ <copy file="plugin.properties" todir="${dest}"/>
+ <copy file="plugin.jars" todir="${dest}"/>
+ <copy todir="${dest}/icons">
+ <fileset dir="icons" />
+ </copy>
+ <zip zipfile="${dest}/comparesrc.zip">
+ <fileset dir="Eclipse Compare" />
+ </zip>
+ </target>
+</project>
|