From 0fc93112f63e1ee4e0ec77b42e12ca0867bfa4a0 Mon Sep 17 00:00:00 2001
From: Fredrik Tolf <fredrik@dolda2000.com>
Date: Fri, 30 Jan 2015 21:24:59 +0100
Subject: [PATCH] Ignore warnings about Java 1.5 source for now.

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

diff --git a/build.xml b/build.xml
index 654f1566..01fd5d78 100644
--- a/build.xml
+++ b/build.xml
@@ -30,6 +30,7 @@
 	<pathelement path="lib/jglob.jar" />
       </classpath>
       <compilerarg value="-Xlint:unchecked" />
+      <compilerarg value="-Xlint:-options" />
       <!-- <compilerarg value="-Xbarda" /> -->
     </javac>
     <copy todir="build/classes">