From ff7869b7c742f8b46f79d549f106407b1299e1d3 Mon Sep 17 00:00:00 2001
From: Diomidis Spinellis <dds@aueb.gr>
Date: Mon, 5 Mar 2007 09:37:08 +0000
Subject: [PATCH] Enable agressive lint options.

---
 build.xml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 4a53575..1058b3c 100644
--- a/build.xml
+++ b/build.xml
@@ -35,7 +35,9 @@ class Version { public static String VERSION = "${VERSION}";}
 
 <target name="compile" depends="init"
 	description="compile the source, build library " >
-	<javac srcdir="${src}" destdir="${build}" debug="true" excludes="gr/spinellis/umlgraph/doclet/RCS/*,gr/spinellis/umlgraph/test/RCS/*"/>
+	<javac srcdir="${src}" destdir="${build}" debug="true" deprecation="true" excludes="gr/spinellis/umlgraph/doclet/RCS/*,gr/spinellis/umlgraph/test/RCS/*">
+		<compilerarg value="-Xlint"/>
+	</javac>
 	<jar basedir="${build}" destfile="${lib}/UmlGraph.jar" includes="gr/spinellis/umlgraph/doclet/*.class"/>
 </target>