Fix build.xml with better macro usage

reinholdfuereder · Jan 3, 2011 · 6786811 · 6786811
1 parent a4c19ea
commit 6786811
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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">