From: Ben Soares Date: Wed, 18 Mar 2020 11:33:26 +0000 (+0000) Subject: JAL-3541 perhaps a better clean for clover. fixed X-Git-Tag: Develop-2_11_2_0-d20201215~74^2~4 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=ace0af5edbf14c1cefcc4bdb31723d8be68631be;p=jalview.git JAL-3541 perhaps a better clean for clover. fixed --- 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