From 67868114384f6941b807936101c91502dc4ffd4f Mon Sep 17 00:00:00 2001
From: David Saff <david@saff.net>
Date: Mon, 3 Jan 2011 16:01:10 -0500
Subject: [PATCH] Fix build.xml with better macro usage

---
 build.xml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index e79fd5ce4ef5..30f2fa913b95 100644
--- a/build.xml
+++ b/build.xml
@@ -165,7 +165,9 @@
         </macrodef>
 
 	<target name="dist" depends="populate-dist">
-        	<run-tests />
+        	<run-tests>
+                	<jvmarg value="-Dignore.this=ignored" />
+                </run-tests>
 	</target>
 
 	<target name="profile" depends="populate-dist">