From 9ef5b42202cafc000cece6067a5c4ef55c295223 Mon Sep 17 00:00:00 2001
From: Chip Childers <chip.childers@gmail.com>
Date: Tue, 31 Jul 2012 21:21:35 -0400
Subject: [PATCH] Build configuration change from Ewan Mellor:
 https://reviews.apache.org/r/6266/

---
 build/developer.xml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/build/developer.xml b/build/developer.xml
index f9c581e52c0..bfe496d70c9 100755
--- a/build/developer.xml
+++ b/build/developer.xml
@@ -35,6 +35,7 @@
   <property name="unittest.dir" location="${base.dir}/unittest"/>
   <property name="unittest.target.dir" location="${unittest.dir}/classes"/>
   <property name="unittest.jar.dir" location="${unittest.dir}/jar"/>
+  <property name="unittest.formatter" value="plain" />
   <property name="ovm.dir" location="${base.dir}/ovm" />
   
   <!-- directories for api doc -->
@@ -318,7 +319,7 @@
       <classpath refid="test.classpath"/>
       <jvmarg value="${debug.jvmarg}"/>
       <batchtest todir="${unittest.dir}">
-        <formatter type="plain"/>
+        <formatter type="${unittest.formatter}"/>
         <fileset dir="${utils.test.dir}">
           <include name="**/*Test.java"/>
         </fileset>
@@ -347,7 +348,7 @@
       <jvmarg value="-Xms1024m"/>
       <jvmarg value="-Xmx1024m"/>
       <batchtest todir="${unittest.dir}">
-        <formatter type="plain"/>
+        <formatter type="${unittest.formatter}"/>
         <fileset dir="${utils.test.dir}">
           <include name="**/${test}.java"/>
         </fileset>
@@ -374,7 +375,7 @@
       <jvmarg value="-Xrunjdwp:transport=dt_socket,address=8787,server=y,suspend=y"/>
       <jvmarg value="${assertion}"/>
       <batchtest todir="${unittest.dir}">
-        <formatter type="plain"/>
+        <formatter type="${unittest.formatter}"/>
         <fileset dir="${utils.test.dir}">
           <include name="**/${test}.java"/>
         </fileset>