From 12bd110f5aa83819e8417eb6dac136cbc6dc2de5 Mon Sep 17 00:00:00 2001
From: Ben Soares <bsoares@dundee.ac.uk>
Date: Wed, 18 Mar 2020 11:21:37 +0000
Subject: [PATCH] JAL-3541 perhaps a better clean for clover

---
 build.gradle |   11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/build.gradle b/build.gradle
index 33d5278..ec4e3b1 100644
--- a/build.gradle
+++ b/build.gradle
@@ -658,15 +658,22 @@ clean {
 }
 
 
-cleanTest {
+cleanClover {
   doFirst {
-    delete sourceSets.test.java.outputDir
     delete cloverInstrDir
     delete cloverDb
   }
 }
 
 
+cleanTest {
+  dependsOn cleanClover
+  doFirst {
+    delete sourceSets.test.java.outputDir
+  }
+}
+
+
 // format is a string like date.format("dd MMMM yyyy")
 def getDate(format) {
   def date = new Date()
-- 
1.7.10.2