# HG changeset patch
# User dario
# Date 1242668660 -3600
# Node ID dec10768c3a4f235a5148a8facf9e285fbc41556
# Parent 51cb6051c75d05d3ae51ec5b4c8d524612968635
Made smoketest optional
diff -r 51cb6051c75d -r dec10768c3a4 common/build.xml
--- a/common/build.xml Mon May 18 16:11:36 2009 +0100
+++ b/common/build.xml Mon May 18 18:44:20 2009 +0100
@@ -180,7 +180,12 @@
-
+
+
+
+
+
+