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

diff --git a/build.xml b/build.xml
index 08430dd..fd2b5dc 100755 (executable)
--- a/build.xml
+++ b/build.xml
@@ -134,6 +134,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" />