| <?xml version="1.0" encoding="UTF-8"?> | |
| <project name="build" default="plugin_export"> | |
| <target name="plugin_export"> | |
| <pde.exportPlugins plugins="org.eclipse.jdt.core" destination="/home/local/tmp/updates" exportType="directory" useJARFormat="true" exportSource="false"/> | |
| </target> | |
| </project> |