From 7ec7a5d6b6e43f1ae66060949cfb7b4308320859 Mon Sep 17 00:00:00 2001 From: Mark DePristo Date: Mon, 24 Dec 2012 11:27:32 -0500 Subject: [PATCH] Misc. improvements to clover in build.xml -- Allow instrument level to be overridden on command line with -Dclover.instrument.level=statement --- build.xml | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/build.xml b/build.xml index 0cfc1a8cd..f91ff6a9a 100644 --- a/build.xml +++ b/build.xml @@ -109,6 +109,12 @@ + + + + + + @@ -1120,9 +1126,6 @@ - - - @@ -1138,7 +1141,7 @@ - +