diff options
author | Marc Englund <marc.englund@itmill.com> | 2008-05-02 05:57:23 +0000 |
---|---|---|
committer | Marc Englund <marc.englund@itmill.com> | 2008-05-02 05:57:23 +0000 |
commit | 2278b544875abd8276f69a138d81035f863403a9 (patch) | |
tree | f325c7785bb0ba8ac0763abca132687f2af1399f /build | |
parent | 3246173100cc7edbd7e5e94575641f44c31d9a3a (diff) | |
download | vaadin-framework-2278b544875abd8276f69a138d81035f863403a9.tar.gz vaadin-framework-2278b544875abd8276f69a138d81035f863403a9.zip |
re-fixed <contains> - sigh, someone else should do ant
svn changeset:4308/svn branch:trunk
Diffstat (limited to 'build')
-rw-r--r-- | build/build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/build.xml b/build/build.xml index 64db26184f..4784e42286 100644 --- a/build/build.xml +++ b/build/build.xml @@ -93,7 +93,7 @@ <mkdir dir="${result-path}" /> <!-- Find out which platform we are in --> <if>
- <contains arg1="${os.name}" arg2="Windows" />
+ <contains string="${os.name}" substring="Windows" />
<then>
<property name="platform" value="windows" />
</then>
|