diff --git a/build.xml b/build.xml index 5261d7222..86a11510e 100644 --- a/build.xml +++ b/build.xml @@ -26,7 +26,7 @@ classpathref="classpath"/> + deprecation="on" source="1.6" target="1.5"> @@ -42,7 +42,7 @@ classname="com.threerings.presents.tools.GenDObjectTask"/> + optimize="${build.optimize}" deprecation="on" source="1.6" target="1.5"> @@ -58,7 +58,7 @@ classname="com.threerings.presents.tools.GenServiceTask"/> + optimize="${build.optimize}" deprecation="on" source="1.6" target="1.5"> @@ -87,7 +87,7 @@ classname="com.threerings.presents.tools.GenReceiverTask"/> + debug="on" optimize="${build.optimize}" deprecation="on" source="1.6" target="1.5"> @@ -158,7 +158,7 @@ + debug="on" optimize="{$build.optimize}" deprecation="on" source="1.6" target="1.5">