X-Git-Url: http://source.jalview.org/gitweb/?p=jalview.git;a=blobdiff_plain;f=build.xml;h=6fc56b38dda4d56b0c3f91c124bc6c2318ea27b0;hp=4fa8060c6479666151c7ed6e2851b7a90e27cdc6;hb=0bee8aadc22e41e4793db251a7d37a839bd77db8;hpb=6c1a6981710f59f6b1c337b81e271aaedcadb8fb

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 -->