From b384a06b93aeaa07d3d94bd9587c9a48698ccbf0 Mon Sep 17 00:00:00 2001
From: Ben Soares <bsoares@dundee.ac.uk>
Date: Thu, 19 Mar 2020 12:35:45 +0000
Subject: [PATCH] JAL-3541 tidying build.gradle, delete cloverInstrDir
 re-added

---
 build.gradle |   12 ++----------
 1 file changed, 2 insertions(+), 10 deletions(-)

diff --git a/build.gradle b/build.gradle
index 4c680f8..2c7f138 100644
--- a/build.gradle
+++ b/build.gradle
@@ -509,8 +509,8 @@ sourceSets {
 
 // clover bits
 dependencies {
-  cloverCompile 'org.openclover:clover:4.4.1'
   if (use_clover) {
+    cloverCompile 'org.openclover:clover:4.4.1'
     testCompile 'org.openclover:clover:4.4.1'
   }
 }
@@ -662,7 +662,7 @@ task cloverInstr {
   outputs.dir cloverInstrDir
 
   doFirst {
-    //delete cloverInstrDir
+    delete cloverInstrDir
     def argsList = [
       "--initstring",
       cloverDb,
@@ -770,14 +770,6 @@ clean {
 }
 
 
-task cleanClover {
-  doFirst {
-    delete cloverInstrDir
-    delete cloverDb
-  }
-}
-
-
 cleanTest {
   dependsOn cleanClover
   doFirst {
-- 
1.7.10.2