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: Release_2_11_1_1~13^2~26^2^2~10 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;ds=sidebyside;h=defdf4a25f09bc4b498f7429113673d7f87ad2c6;p=jalview.git JAL-3541 perhaps a better clean for clover. fixed --- 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