diff options
Diffstat (limited to 'releng/build-scripts/build/run.xml')
-rw-r--r-- | releng/build-scripts/build/run.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/releng/build-scripts/build/run.xml b/releng/build-scripts/build/run.xml index f3417bb2d..9c7570d19 100644 --- a/releng/build-scripts/build/run.xml +++ b/releng/build-scripts/build/run.xml @@ -267,6 +267,9 @@ path to map file (with substitutions): <property name="sourceUpdatesUrl" value="${previousPublishedUpdatesDir}"/> <property name="targetEclipseDir" value="${baseLocation}"/> </ant> + <delete> + <fileset dir="${baseLocation}/plugins/" includes="org.eclipse.jdt.core_3.14.0.v2018*" /> + </delete> </target> <!-- ==== BUILD STAGE 2: ==== --> |