diff options
Diffstat (limited to 'Tools/Source/TianoTools/build.xml')
| -rw-r--r-- | Tools/Source/TianoTools/build.xml | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/Tools/Source/TianoTools/build.xml b/Tools/Source/TianoTools/build.xml index 0022802b4c..6d4d75b629 100644 --- a/Tools/Source/TianoTools/build.xml +++ b/Tools/Source/TianoTools/build.xml @@ -63,8 +63,18 @@ WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. </else>
</if>
- <property name="HOST_ARCH" value="IA32"/>
<ToolChainSetup confPath="${WORKSPACE_DIR}/Tools/Conf" />
+
+ <if>
+ <isset property="env.TOOL_CHAIN" />
+ <then>
+ <property name="ToolChain" value="${env.TOOL_CHAIN}"/>
+ <condition property="gcc">
+ <equals arg1="${ToolChain}" arg2="gcc"/>
+ </condition>
+ </then>
+ </if>
+
</target>
<target name="Libraries">
|