X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=build.xml;h=7ae41f6268c184f10f28487eb5d9f006bb06375c;hb=0e9c855a29ea94ebe67a3ee76aff0c05ed2d83ee;hp=fd2b5dc3727edf724ae6c3dda8b96b315067b4c9;hpb=99e3934ef65903edc504e8495a95f6b519914f67;p=jalview.git

diff --git a/build.xml b/build.xml
index fd2b5dc..7ae41f6 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 -->