diff options
| author | Jani Laakso <jani.laakso@itmill.com> | 2007-11-26 15:10:42 +0000 |
|---|---|---|
| committer | Jani Laakso <jani.laakso@itmill.com> | 2007-11-26 15:10:42 +0000 |
| commit | 337dd95e11c9ae15cd65d251bcef82f0f83c340b (patch) | |
| tree | 500d63ffead396d3313a1e7d3fb3782f69f7eb41 /build/package | |
| parent | 6753f16851cb8b89f645065c67a174bfeac5d899 (diff) | |
| download | vaadin-framework-337dd95e11c9ae15cd65d251bcef82f0f83c340b.tar.gz vaadin-framework-337dd95e11c9ae15cd65d251bcef82f0f83c340b.zip | |
packaging platform specific issues
svn changeset:2978/svn branch:trunk
Diffstat (limited to 'build/package')
| -rw-r--r-- | build/package/build-widgetsets.xml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/build/package/build-widgetsets.xml b/build/package/build-widgetsets.xml index 41d0118c58..f854c075f4 100644 --- a/build/package/build-widgetsets.xml +++ b/build/package/build-widgetsets.xml @@ -27,7 +27,7 @@ See configure target to adjust this buildfile. --> <target name="configure"> <!-- which platform we are in, possible values are windows, linux and mac --> - <property name="platform" value="<platform></platform>" /> + <property name="gwt-platform" value="<platform></platform>" /> <!-- where platform specific GWT distribution is located --> <property name="gwt-location" value="gwt" /> @@ -45,9 +45,9 @@ See configure target to adjust this buildfile. <target name="init" depends="configure"> - <echo>Configured for ${platform} platform.</echo> + <echo>Configured for ${gwt-platform} platform.</echo> <echo>Requirements for classpath:</echo> - <echo> ${gwt-location}/gwt-dev-${platform}.jar</echo> + <echo> ${gwt-location}/gwt-dev-${gwt-platform}.jar</echo> <echo> ${gwt-location}/gwt-user.jar</echo> <echo> ${toolkit-jar-location}</echo> <echo> ${client-side-src-location}</echo> @@ -59,7 +59,7 @@ See configure target to adjust this buildfile. <pathelement path="${client-side-src-location}" /> <pathelement path="${toolkit-jar-location}" /> <pathelement path="${gwt-location}/gwt-user.jar" /> - <pathelement path="${gwt-location}/gwt-dev-${platform}.jar" /> + <pathelement path="${gwt-location}/gwt-dev-${gwt-platform}.jar" /> </path> </target> |