diff options
author | Sven Gothel <[email protected]> | 2015-02-03 03:17:43 +0100 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2015-02-03 03:17:43 +0100 |
commit | e65aacce4f261641fd9f615b8128dca86e9f9f05 (patch) | |
tree | b88d0bccd382492a3d264735a1df61b282d19676 | |
parent | b81b9e14f24de0cbc66ab500afe0f8db7a058b96 (diff) |
Add javadoc arg (property 'javadoc.xarg1') '-Xdoclint:none' if java >= 1.8 (GlueGen commit d8dff4c9f2186749b167195eeb339c33f56864e8)
-rw-r--r-- | make/build.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/make/build.xml b/make/build.xml index 9954c160..fd61304a 100644 --- a/make/build.xml +++ b/make/build.xml @@ -850,6 +850,7 @@ <classpath refid="jocl_all.classpath"/> <link offline="true" href="${javadoc.link}" packagelistLoc="${gluegen.root}/make/142-packages" /> <link offline="false" href="${gluegen.link}" /> + <arg value="${javadoc.xarg1}"/> </javadoc> <copy todir="${javadoc.jocl.public.path}/resources" overwrite="true"> <fileset dir="${gluegen.make.dir}/doc/javadoc/resources" includes="*" /> @@ -868,6 +869,7 @@ <classpath refid="jocl_all.classpath"/> <link offline="true" href="${javadoc.link}" packagelistLoc="${gluegen.root}/make/142-packages" /> <link offline="false" href="${gluegen.link}" /> + <arg value="${javadoc.xarg1}"/> </javadoc> <copy todir="${javadoc.jocl.dev.path}/resources" overwrite="true"> <fileset dir="${gluegen.make.dir}/doc/javadoc/resources" includes="*" /> |