X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=build.xml;h=7ae41f6268c184f10f28487eb5d9f006bb06375c;hb=18b1b42e14075d9381f2fdc77be0ad591d24584e;hp=08430dd38f76ca7f35c9e8e7be848ee24a1072e7;hpb=84fa86d1021d3399a42e81f96eaf52e855424dfa;p=jalview.git

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