git://git.nikiroo.be
/
fanfix.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
lint
[fanfix.git]
/
build.xml
diff --git
a/build.xml
b/build.xml
index 6f0c1ab8089d1174469a211da6e47accb5297c42..2e8616763e2e63430d04fee3eb5353867d3fccf5 100644
(file)
--- a/
build.xml
+++ b/
build.xml
@@
-52,6
+52,8
@@
target="1.6"
source="1.6"
>
target="1.6"
source="1.6"
>
+ <compilerarg value="-Xlint"/>
+ <compilerarg value="-Xdiags:verbose"/>
<compilerarg value="-Xlint:deprecation" />
</javac>
</target>
<compilerarg value="-Xlint:deprecation" />
</javac>
</target>
@@
-93,7
+95,7
@@
myself when Debian stables moves to Java 11.
-->
myself when Debian stables moves to Java 11.
-->
-<target name="docs" depends="jar">
+
<target name="docs" depends="jar">
<javadoc
destdir="${apidocs.dir}"
author="true"
<javadoc
destdir="${apidocs.dir}"
author="true"
@@
-101,6
+103,7
@@
use="true"
access="protected"
windowtitle="Jexer - Java Text User Interface - API docs"
use="true"
access="protected"
windowtitle="Jexer - Java Text User Interface - API docs"
+ additionalparam="--frames"
>
<fileset dir="${src.dir}" defaultexcludes="yes">
<include name="jexer/**/*.java"/>
>
<fileset dir="${src.dir}" defaultexcludes="yes">
<include name="jexer/**/*.java"/>