JAL-3541 perhaps a better clean for clover
authorBen Soares <bsoares@dundee.ac.uk>
Wed, 18 Mar 2020 11:21:37 +0000 (11:21 +0000)
committerBen Soares <bsoares@dundee.ac.uk>
Wed, 18 Mar 2020 11:21:37 +0000 (11:21 +0000)
build.gradle

index 33d5278..ec4e3b1 100644 (file)
@@ -658,15 +658,22 @@ clean {
 }
 
 
-cleanTest {
+cleanClover {
   doFirst {
-    delete sourceSets.test.java.outputDir
     delete cloverInstrDir
     delete cloverDb
   }
 }
 
 
+cleanTest {
+  dependsOn cleanClover
+  doFirst {
+    delete sourceSets.test.java.outputDir
+  }
+}
+
+
 // format is a string like date.format("dd MMMM yyyy")
 def getDate(format) {
   def date = new Date()