From: David ‘Bombe’ Roden Date: Tue, 29 Apr 2014 19:49:06 +0000 (+0200) Subject: Try to fix jacoco plugin. X-Git-Url: https://git.pterodactylus.net/?a=commitdiff_plain;h=886d6da0a4d8eb8b67b37a3e1857509c92e809cc;hp=6fc2ae4ae4ac719b637f5da59acb15dd88f90cd0;p=xudocci.git Try to fix jacoco plugin. --- diff --git a/pom.xml b/pom.xml index 352d57f..ba44142 100644 --- a/pom.xml +++ b/pom.xml @@ -95,6 +95,12 @@ prepare-agent + + default-check + + check + +