diff options
Diffstat (limited to 'build.xml')
| -rw-r--r-- | build.xml | 9 |
1 files changed, 6 insertions, 3 deletions
@@ -33,10 +33,10 @@ <property name="name" value="ant"/> <!-- this is the groupId of ant in the Maven repository --> <property name="groupid" value="org/apache/ant"/> - <property name="project.version" value="1.9.10"/> + <property name="project.version" value="1.9.11alpha"/> <!-- pom.version is used when doing a distribution and must match with what is checked in under src/etc/poms --> - <property name="pom.version" value="1.9.10"/> - <property name="manifest-version" value="1.9.10"/> + <property name="pom.version" value="1.9.11-SNAPSHOT"/> + <property name="manifest-version" value="1.9.11"/> <property name="bootstrap.jar" value="ant-bootstrap.jar"/> <property name="ant.package" value="org/apache/tools/ant"/> @@ -1936,6 +1936,9 @@ ${antunit.reports} </length> </target> + <!-- JetBrains builds need this target --> + <target name="printFailingTests" depends="print-failing-tests"/> + <target name="print-failing-tests"> <property name="failingtests.dir" value="${build.dir}/errors"/> <mkdir dir=""/> |