From ace0af5edbf14c1cefcc4bdb31723d8be68631be 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] 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 ec4e3b1..77cd9ab 100644
--- a/build.gradle
+++ b/build.gradle
@@ -658,7 +658,7 @@ clean {
 }
 
 
-cleanClover {
+task cleanClover {
   doFirst {
     delete cloverInstrDir
     delete cloverDb
-- 
1.7.10.2