diff options
Diffstat (limited to 'make')
| -rw-r--r-- | make/build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make/build.xml b/make/build.xml index 925ca511b..b9ea8f08d 100644 --- a/make/build.xml +++ b/make/build.xml @@ -754,7 +754,7 @@ <echo message="Output lib name = ${output.lib.name}" /> <!-- NOTE: the value of the debug and optimise attributes will not be overridden if already set externally --> - <property name="c.compiler.debug" value="true" /> + <property name="c.compiler.debug" value="false" /> <!-- Optimise flags one of { none, size, speed, minimal, full, aggressive, extreme, unsafe } --> <property name="c.compiler.optimise" value="none" /> |