From a06edbf12ad26742124d9d445d790b80e25c8538 Mon Sep 17 00:00:00 2001
From: michelou <michelou@epfl.ch>
Date: Wed, 25 Jul 2007 17:10:26 +0000
Subject: minor change (msil)

---
 build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'build.xml')

diff --git a/build.xml b/build.xml
index 911e58bde4..a3c5862517 100644
--- a/build.xml
+++ b/build.xml
@@ -1451,7 +1451,7 @@ GENERATES A DISTRIBUTION
 
   <target name="hudson" depends="build">
     <exec executable="test/scalatest" vmlauncher="no">
-      <arg value="--quick"/>
+      <arg value="--quick --pos"/>
     </exec>
   </target>
 
-- 
cgit v1.2.3