From defdf4a25f09bc4b498f7429113673d7f87ad2c6 Mon Sep 17 00:00:00 2001
From: Ben Soares <bsoares@dundee.ac.uk>
Date: Wed, 18 Mar 2020 11:33:26 +0000
Subject: [PATCH 1/1] JAL-3541 perhaps a better clean for clover. fixed

---
 build.gradle |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index 76aa14a..4c680f8 100644
--- a/build.gradle
+++ b/build.gradle
@@ -770,7 +770,7 @@ clean {
 }
 
 
-cleanClover {
+task cleanClover {
   doFirst {
     delete cloverInstrDir
     delete cloverDb
-- 
1.7.10.2