X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=build.xml;h=f9265dc287ec827951d28019d6c9640ed28802bd;hb=573b3bad0aa40ce58c4dae6646523f9133b0564d;hp=d86cbf3e78088afe390f7edf02eb00364365575e;hpb=3d0681a23a6d8b8550580cb6de0c9995a6294e0a;p=jalview.git

diff --git a/build.xml b/build.xml
index d86cbf3..f9265dc 100755
--- a/build.xml
+++ b/build.xml
@@ -133,7 +133,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 -->