# 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 @@ - + + + + + +