diff options
Diffstat (limited to 'build')
| -rw-r--r-- | build/build.xml | 36 |
1 files changed, 18 insertions, 18 deletions
diff --git a/build/build.xml b/build/build.xml index 09ce8bf6cc..64db26184f 100644 --- a/build/build.xml +++ b/build/build.xml @@ -92,24 +92,24 @@ <!-- Create result dir unless already exists --> <mkdir dir="${result-path}" /> <!-- Find out which platform we are in --> - <if> - <os family="windows" /> - <then> - <property name="platform" value="windows" /> - </then> - </if> - <if> - <os family="unix" /> - <then> - <property name="platform" value="linux" /> - </then> - </if> - <if> - <os family="mac" /> - <then> - <property name="platform" value="mac" /> - </then> - </if> + <if>
+ <contains arg1="${os.name}" arg2="Windows" />
+ <then>
+ <property name="platform" value="windows" />
+ </then>
+ </if>
+ <if>
+ <equals arg1="${os.name}" arg2="Linux" />
+ <then>
+ <property name="platform" value="linux" />
+ </then>
+ </if>
+ <if>
+ <equals arg1="${os.name}" arg2="Mac OS X" />
+ <then>
+ <property name="platform" value="mac" />
+ </then>
+ </if>
<!-- required when compiling WebContent/ITMILL/widgetsets (and also Java server-side classes) --> <property name="lib-gwt-dev" value="gwt-dev-${platform}.jar" /> |