diff options
Diffstat (limited to 'make/build.xml')
| -rw-r--r-- | make/build.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/make/build.xml b/make/build.xml index 79ec607..2b5c687 100644 --- a/make/build.xml +++ b/make/build.xml @@ -469,7 +469,8 @@ <echo message="Compiling ${c.compiler.src.files.os} ${c.compiler.src.files.common}" /> <echo message="user.dir=${user.dir}" /> - <cc outtype="shared" + <cc outtype="${output.lib.type}" + usehighleveltool="true" objdir="${gluegen.lib.dir}" outfile="${gluegen.lib.dir}/${output.lib.name}" optimize="${c.compiler.optimise}" |