JAL-3047 ‘cloverclasses’ build directory for instrumented classes (allow incremental...

diff --git a/build.xml b/build.xml
index d86cbf3..4fa8060 100755 (executable)
--- a/build.xml
+++ b/build.xml
@@ -133,6 +133,8 @@
     <property name="docDir" value="doc" />
     <property name="sourceDir" value="src" />
     <property name="schemaDir" value="schemas" />
+    <property name="outputDir" value="classes" unless:set="clover.jar"/>
+    <property name="outputDir" value="cloverclasses" if:set="clover.jar"/>
     <property name="outputDir" value="classes" />
     <property name="packageDir" value="dist" />
     <property name="outputJar" value="jalview.jar" />