| <project default="export"> |
| |
| <!-- Set the timestamp and important properties --> |
| <target name="init"> |
| <tstamp/> |
| <property name="destdir" value="../../../../plugin-export" /> |
| <property name="plugins" value="org.eclipse.ant.core, org.eclipse.ant.ui, org.eclipse.debug.core, org.eclipse.debug.ui, org.eclipse.jdt.debug, org.eclipse.jdt.debug.ui, org.eclipse.jdt.launching, org.eclipse.jdt.launching.j9, org.eclipse.ui.console, org.eclipse.ui.externaltools" /> |
| </target> |
| |
| <target name="export" depends="init"> |
| <!--destination: fully qualifed path for exported artifacts (required)--> |
| <!--plugins: comma delineated listing of plugins to export (if a plugin does not exist, it is ignored) (defaults to all shared plugins)--> |
| <!--exportType: can be dir, jar or zip (defaults to dir if not supplied)--> |
| <!--exportSource: whether or not to export source with the plugin (defaults to false if not supplied)--> |
| <eclipse.exportPlugins |
| plugins= "${plugins}" |
| destination= "${destdir}" /> |
| </target> |
| </project> |
