diff options
Diffstat (limited to 'org.eclipse.ui.externaltools/buildfiles/exportplugin.xml')
| -rw-r--r-- | org.eclipse.ui.externaltools/buildfiles/exportplugin.xml | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/org.eclipse.ui.externaltools/buildfiles/exportplugin.xml b/org.eclipse.ui.externaltools/buildfiles/exportplugin.xml deleted file mode 100644 index 6444f3f83..000000000 --- a/org.eclipse.ui.externaltools/buildfiles/exportplugin.xml +++ /dev/null @@ -1,40 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> - -<!-- Export a jar of .class files for the org.eclipse.ui.externaltools Eclipse plug-in - along with other important plugin files to the "plugin-export" subdirectory - of the target Eclipse installation - - --> -<project name="Export externaltools" default="export" basedir=".."> - - <!-- Set the timestamp and important properties --> - <target name="init"> - <tstamp/> - <property name="destdir" value="../../plugin-export" /> - <property name="dest" value="${destdir}/org.eclipse.ui.externaltools_3.0.0" /> - </target> - - <!-- Create the jar of .class files, and copy other important files to export dir --> - <target name="export" depends="init"> - <mkdir dir="${destdir}" /> - <delete dir="${dest}" /> - <mkdir dir="${dest}" /> - <jar destfile="${dest}/externaltools.jar"> - <fileset dir="bin"> - </fileset> - </jar> - <!-- Create the source zip --> - <zip destfile="${dest}/externaltoolssrc.zip"> - <fileset dir="External Tools Base"/> - <fileset dir="Program Tools Support"/> - </zip> - <copy file="plugin.xml" todir="${dest}"/> - <copy file="plugin.properties" todir="${dest}"/> - <copy file=".classpath" todir="${dest}"/> - <copy file=".options" todir="${dest}"/> - <copy todir="${dest}/icons"> - <fileset dir="icons" /> - </copy> - </target> - -</project> |