From fa66fd36fa8ddc144aa6b0594d8da3925238eb0d 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 |   10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/build.gradle b/build.gradle
index 798aec6..76aa14a 100644
--- a/build.gradle
+++ b/build.gradle
@@ -770,12 +770,18 @@ clean {
 }
 
 
+cleanClover {
+  doFirst {
+    delete cloverInstrDir
+    delete cloverDb
+  }
+}
+
+
 cleanTest {
   dependsOn cleanClover
   doFirst {
     delete sourceSets.test.java.outputDir
-    delete cloverInstrDir
-    delete cloverDb
   }
 }
 
-- 
1.7.10.2