X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=build.xml;h=454b9945eb78e08fbb642e6356208ed0e6e60385;hb=refs%2Fheads%2Fbug%2FJAL-3083cancelAnnotationColour;hp=08430dd38f76ca7f35c9e8e7be848ee24a1072e7;hpb=84fa86d1021d3399a42e81f96eaf52e855424dfa;p=jalview.git

diff --git a/build.xml b/build.xml
index 08430dd..454b994 100755
--- a/build.xml
+++ b/build.xml
@@ -134,7 +134,8 @@
     <property name="docDir" value="doc" />
     <property name="sourceDir" value="src" />
     <property name="schemaDir" value="schemas" />
-    <property name="outputDir" value="classes" />
+    <property name="outputDir" value="classes" unless:set="clover.jar"/>
+    <property name="outputDir" value="cloverclasses" if:set="clover.jar"/>
     <property name="packageDir" value="dist" />
     <property name="outputJar" value="jalview.jar" />
     <!-- Jalview Applet JMol Jar Dependency -->
@@ -543,6 +544,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 -->