From 0da145308dea98be86bb85ba7ab08db89f7e79e2 Mon Sep 17 00:00:00 2001 From: Christian Date: Sat, 8 Jun 2013 16:08:56 -0400 Subject: [PATCH] Tweak build.xml for jenkins running --- build.xml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/build.xml b/build.xml index 54ce3d77..d6fe7d8f 100644 --- a/build.xml +++ b/build.xml @@ -61,11 +61,12 @@ - + +