summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSven Gothel <sgothel@jausoft.com>2015-02-03 03:19:20 +0100
committerSven Gothel <sgothel@jausoft.com>2015-02-03 03:19:20 +0100
commite62bfeb913ce2665670fc095203cddad724935a1 (patch)
tree941fd52e6daf4605a45e383ff9934225d02b0ec6
parent9e1e4e8946c4f8089234a5788c0bee14ee2d0ff1 (diff)
Add javadoc arg (property 'javadoc.xarg1') '-Xdoclint:none' if java >= 1.8 (GlueGen commit d8dff4c9f2186749b167195eeb339c33f56864e8)
-rw-r--r--make/build.xml1
1 files changed, 1 insertions, 0 deletions
diff --git a/make/build.xml b/make/build.xml
index 86b5fe6..1c54e58 100644
--- a/make/build.xml
+++ b/make/build.xml
@@ -324,6 +324,7 @@
<link href="${javadoc.link}" />
<!-- FIXME: this doesn't work -->
<link href="${javadoc.link.jogl}" />
+ <arg value="${javadoc.xarg1}"/>
</javadoc>
</target>