From 8e6f042aa14a84c47acc9c5802a6a960b472a879 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Euzenat?= <Jerome.Euzenat@inria.fr>
Date: Wed, 14 Feb 2007 21:35:14 +0000
Subject: [PATCH] - added a comment with the lint options

---
 build.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build.xml b/build.xml
index 7a4a3a53..3310c47a 100644
--- a/build.xml
+++ b/build.xml
@@ -70,6 +70,7 @@
 
   <!-- tested -->
   <target name="compilelint" depends="init">
+    <!-- values: all, deprecation, unchecked, fallthrough, path, serial, finally -->
     <echo message="Setting property..."/>
     <property name="javacargs" value="-Xlint:all" />
     <antcall target="compileall"/>
-- 
GitLab