<!-- 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>\r
+ <contains arg1="${os.name}" arg2="Windows" />\r
+ <then>\r
+ <property name="platform" value="windows" />\r
+ </then>\r
+ </if>\r
+ <if>\r
+ <equals arg1="${os.name}" arg2="Linux" />\r
+ <then>\r
+ <property name="platform" value="linux" />\r
+ </then>\r
+ </if>\r
+ <if>\r
+ <equals arg1="${os.name}" arg2="Mac OS X" />\r
+ <then>\r
+ <property name="platform" value="mac" />\r
+ </then>\r
+ </if>\r
<!-- required when compiling WebContent/ITMILL/widgetsets (and also Java server-side classes) -->
<property name="lib-gwt-dev" value="gwt-dev-${platform}.jar" />