diff options
| author | Darin Swanson | 2003-09-18 21:03:45 +0000 |
|---|---|---|
| committer | Darin Swanson | 2003-09-18 21:03:45 +0000 |
| commit | 452f0c126ec50a8491dd11f4af9b487e88f27b79 (patch) | |
| tree | 3ec2bf9762342610854b921aaf44f95e51572a8e /org.eclipse.debug.ui/scripts | |
| parent | 5df65092fc3b4ed3d5029a578dea4793252d4026 (diff) | |
| download | eclipse.platform.debug-452f0c126ec50a8491dd11f4af9b487e88f27b79.tar.gz eclipse.platform.debug-452f0c126ec50a8491dd11f4af9b487e88f27b79.tar.xz eclipse.platform.debug-452f0c126ec50a8491dd11f4af9b487e88f27b79.zip | |
Bug 33866 - Move to using the PDE generated build.xml for exporting plugins
Diffstat (limited to 'org.eclipse.debug.ui/scripts')
| -rw-r--r-- | org.eclipse.debug.ui/scripts/exportplugin.xml | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/org.eclipse.debug.ui/scripts/exportplugin.xml b/org.eclipse.debug.ui/scripts/exportplugin.xml deleted file mode 100644 index 2b66e4cfc..000000000 --- a/org.eclipse.debug.ui/scripts/exportplugin.xml +++ /dev/null @@ -1,35 +0,0 @@ -<!-- Export a jar of .class files for the org.eclipse.debug.ui Eclipse plugin - along with other important plugin files to the "plugin-export" subdirectory - of the target Eclipse installation --> -<project name="Export debug.ui" 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.debug.ui_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 - jarfile="${dest}/dtui.jar" - basedir="bin" - /> - <!-- Create the source zip --> - <zip zipfile="${dest}/dtuisrc.zip"> - <fileset dir="ui"/> - </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> |