From 6c1a6981710f59f6b1c337b81e271aaedcadb8fb Mon Sep 17 00:00:00 2001
From: Jim Procter <jprocter@issues.jalview.org>
Date: Mon, 2 Jul 2018 10:20:17 +0100
Subject: [PATCH] =?utf8?q?JAL-3047=20=E2=80=98cloverclasses=E2=80=99=20build?=
 =?utf8?q?=20directory=20for=20instrumented=20classes=20(allow=20incremental?=
 =?utf8?q?=20compile=20and=20avoid=20releasing=20instrumented=20classes=20in?=
 =?utf8?q?=20production=20builds)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

---
 build.xml |    2 ++
 1 file changed, 2 insertions(+)

diff --git a/build.xml b/build.xml
index d86cbf3..4fa8060 100755
--- 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" />
-- 
1.7.10.2