diff options
Diffstat (limited to 'Tools/Source/TianoTools/build.xml')
| -rw-r--r-- | Tools/Source/TianoTools/build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/Source/TianoTools/build.xml b/Tools/Source/TianoTools/build.xml index d304f0a014..d172292809 100644 --- a/Tools/Source/TianoTools/build.xml +++ b/Tools/Source/TianoTools/build.xml @@ -158,7 +158,7 @@ WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. <condition property="cyglinux">
<or>
- <istrue value="linux"/>
+ <istrue value="${linux}"/>
<istrue value="${cygwin}"/>
</or>
</condition>
|