JAL-3047 don’t let the makedist task complete if a clover build was performed
authorJim Procter <jprocter@issues.jalview.org>
Mon, 2 Jul 2018 09:24:24 +0000 (10:24 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Mon, 2 Jul 2018 09:24:24 +0000 (10:24 +0100)
build.xml

index fd2b5dc..7ae41f6 100755 (executable)
--- a/build.xml
+++ b/build.xml
 </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 -->