From 0bee8aadc22e41e4793db251a7d37a839bd77db8 Mon Sep 17 00:00:00 2001
From: Jim Procter <jprocter@issues.jalview.org>
Date: Mon, 2 Jul 2018 10:24:24 +0100
Subject: [PATCH] =?utf8?q?JAL-3047=20don=E2=80=99t=20let=20the=20makedist=20?=
 =?utf8?q?task=20complete=20if=20a=20clover=20build=20was=20performed?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

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

diff --git a/build.xml b/build.xml
index 4fa8060..6fc56b3 100755
--- a/build.xml
+++ b/build.xml
@@ -545,6 +545,9 @@
 </target>
 
 <target name="makedist" depends="build, buildPropertiesFile, linkcheck, buildindices">
+  <fail if="clover.jar">
+    Ignoring request to build jalview distribution with clover-instrumented classes
+  </fail>
   <!-- make the package jar if not already existing -->
   <mkdir dir="${packageDir}" />
   <!-- clean dir if it already existed -->
-- 
1.7.10.2