diff options
Diffstat (limited to 'Tools/Source/TianoTools/Pccts/antlr/build.xml')
| -rw-r--r-- | Tools/Source/TianoTools/Pccts/antlr/build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/Source/TianoTools/Pccts/antlr/build.xml b/Tools/Source/TianoTools/Pccts/antlr/build.xml index 6f4a9179e2..dfc1455409 100644 --- a/Tools/Source/TianoTools/Pccts/antlr/build.xml +++ b/Tools/Source/TianoTools/Pccts/antlr/build.xml @@ -57,7 +57,7 @@ WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. <istrue value="${gcc}"/>
<then>
<exec dir="${PACKAGE_DIR}/Pccts/antlr" executable="make" failonerror="TRUE">
- <arg line="-f makefile"/>
+ <arg line="-f makefile BIN_DIR=${BIN_DIR}"/>
</exec>
</then>
</elseif>
|