From 77946fe2c6e1faa3f1ca2d1eae6e0e96b5d4f902 Mon Sep 17 00:00:00 2001
From: Ben Soares <bsoares@dundee.ac.uk>
Date: Mon, 10 Dec 2018 15:59:59 +0000
Subject: [PATCH] JAL-3130 build.xml tweaks for clover-3.4.1

---
 build.xml |    8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index ba88f9a..ce56b69 100755
--- a/build.xml
+++ b/build.xml
@@ -198,6 +198,7 @@
         <include name="${jmolJar}" />
         <include name="${varnaJar}" />
       </fileset>
+      <pathelement location="${clover.jar}" if:set="clover.jar"/>
     </path>
     <path id="test.classpath">
       <pathelement path="${outputDir}" />
@@ -294,7 +295,12 @@
 
   <target name="build" depends="prepare">
     <!-- not efficient yet. -->
-    <javac source="${javac.source}" target="${javac.target}" srcdir="${sourceDir}" destdir="${outputDir}" debug="${javac.debug}" classpathref="build.classpath">
+    <!-- Echo the build.classpath
+    <pathconvert property="echoClasspath" refid="build.classpath" />
+    <echo message="build.classpath is '${echoClasspath}'" />
+    -->
+    <echo message="javac.target is '${javac.target}'" />
+    <javac includeantruntime="false" source="${javac.source}" target="${javac.target}" srcdir="${sourceDir}" destdir="${outputDir}" debug="${javac.debug}" classpathref="build.classpath">
       <exclude name="jalview/*applet*" />
       <exclude name="jalview/appletgui/**" />
       <exclude name="com/stevesoft/**" />
-- 
1.7.10.2