mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-08-09 01:05:38 +02:00
Patch for Tom Tromey to make the unzip of the eclipse install optional.
This commit is contained in:
parent
c167ba0976
commit
177ee8cfb2
1 changed files with 5 additions and 2 deletions
|
@ -28,8 +28,7 @@
|
||||||
<property name="mailto" value="cdt-test-dev@eclipse.org"/>
|
<property name="mailto" value="cdt-test-dev@eclipse.org"/>
|
||||||
</target>
|
</target>
|
||||||
|
|
||||||
<target name="zips" depends="init">
|
<target name="zips" depends="init,unzip">
|
||||||
<unzip src="${eclipseZip}" dest="${buildDirectory}"/>
|
|
||||||
<ant antfile="build.xml" dir="${pde.build.scripts}">
|
<ant antfile="build.xml" dir="${pde.build.scripts}">
|
||||||
<property name="builder" value="${basedir}/platform" />
|
<property name="builder" value="${basedir}/platform" />
|
||||||
</ant>
|
</ant>
|
||||||
|
@ -45,6 +44,10 @@
|
||||||
</condition>
|
</condition>
|
||||||
</target>
|
</target>
|
||||||
|
|
||||||
|
<target name="unzip" depends="init" unless="dontUnzip">
|
||||||
|
<unzip src="${eclipseZip}" dest="${buildDirectory}"/>
|
||||||
|
</target>
|
||||||
|
|
||||||
<target name="test" depends="init" unless="hasErrors">
|
<target name="test" depends="init" unless="hasErrors">
|
||||||
<ant antfile="build.xml" dir="${pde.build.scripts}">
|
<ant antfile="build.xml" dir="${pde.build.scripts}">
|
||||||
<property name="builder" value="${basedir}/testing" />
|
<property name="builder" value="${basedir}/testing" />
|
||||||
|
|
Loading…
Add table
Reference in a new issue