Merge branch 'core'

lordrio · Jan 30, 2015 · d65f14f · d65f14f
2 parents 1981eee + 0fc9311
commit d65f14f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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">