diff options
author | Risto Yrjänä <risto.yrjana@itmill.com> | 2008-07-22 11:20:38 +0000 |
---|---|---|
committer | Risto Yrjänä <risto.yrjana@itmill.com> | 2008-07-22 11:20:38 +0000 |
commit | f8964e6503f450c94e4a6c53d538eb642cff7e1c (patch) | |
tree | 5f06bc17bffcabb89eb4874ad2e1b1a69eadfc35 /build/build.xml | |
parent | cad630c34ec1504e6fff7436d71cf9baddf1846e (diff) | |
download | vaadin-framework-f8964e6503f450c94e4a6c53d538eb642cff7e1c.tar.gz vaadin-framework-f8964e6503f450c94e4a6c53d538eb642cff7e1c.zip |
Fixed building widgetsets on mac_leopard platform
svn changeset:5112/svn branch:trunk
Diffstat (limited to 'build/build.xml')
-rw-r--r-- | build/build.xml | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/build/build.xml b/build/build.xml index 7fed117c74..bfe919e187 100644 --- a/build/build.xml +++ b/build/build.xml @@ -729,7 +729,15 @@ <property name="gwt-dir" value="build/gwt" /> <!-- required when compiling WebContent/ITMILL/widgetsets (and also Java server-side classes) --> - <property name="lib-gwt-dev" value="gwt-dev-${platform}.jar" /> + <if> + <equals arg1="${platform}" arg2="mac_leopard" /> + <then> + <property name="lib-gwt-dev" value="gwt-dev-mac.jar" /> + </then> + <else> + <property name="lib-gwt-dev" value="gwt-dev-${platform}.jar" /> + </else> + </if> <echo>We are on ${platform} platform, using ${gwt-dir}/${platform}/${lib-gwt-dev}.</echo> <echo>GWT dir: ${gwt-dir}</echo> |