diff options
Diffstat (limited to 'make')
| -rw-r--r-- | make/build.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/make/build.xml b/make/build.xml index 2b096cd1..c0af5465 100644 --- a/make/build.xml +++ b/make/build.xml @@ -493,6 +493,8 @@ <cc outtype="shared" objdir="${obj}" + usehighleveltool="true" + writesoname="true" outfile="${obj}/@{output.lib.name}" optimize="${c.compiler.optimise}" debug="${c.compiler.debug}" |