From 6d722740881cbb69281ab52d04e233a27c9dc968 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Marko=20Gr=C3=B6nroos?= Date: Wed, 2 Dec 2009 11:33:38 +0000 Subject: [PATCH] Enhanced build-widgetset.xml script for Vaadin 6.2. For #3640. svn changeset:10128/svn branch:6.2 --- build/package/build-widgetset.xml | 121 +++++++++++++++++++----------- 1 file changed, 79 insertions(+), 42 deletions(-) diff --git a/build/package/build-widgetset.xml b/build/package/build-widgetset.xml index 35f5852ef3..84772dc1a2 100644 --- a/build/package/build-widgetset.xml +++ b/build/package/build-widgetset.xml @@ -21,7 +21,7 @@ See configure target to adjust this buildfile. @@ -49,24 +49,37 @@ See configure target to adjust this buildfile. - + - - - - - + Modify this example Ant script to compile your own widget sets. + + + + + + + + + + + + + - + - - + + - - - + + + - + + + + + Configured for ${gwt-platform} platform. @@ -87,11 +100,15 @@ See configure target to adjust this buildfile. + + - + + + @@ -104,8 +121,46 @@ See configure target to adjust this buildfile. - - + + + + + + + + + + + + + + + + + + + + + Compiling ${widgetset}... + + + + + + + + + + + + + + + @@ -113,43 +168,25 @@ See configure target to adjust this buildfile. - - + + - - + + - - + + - - - - - Compiling ${widgetset}... - Modify this example Ant script to compile your own widget sets. - - - - - - - - - - - - - + -- 2.39.5