build.xml
changeset 32506 09b109e916b0
parent 32457 a9f32d3139f2
child 32608 f8c3d0a4f7a4
--- a/build.xml	Tue Jul 18 11:06:02 2017 -0400
+++ b/build.xml	Tue Jul 18 11:47:06 2017 +0200
@@ -555,7 +555,7 @@
   </target>
 
   <target name="generate.java.doc">
-    <javadoc Windowtitle="${title}" access="protected" Header="${header}" Footer="${footer}" destdir="${build.docs}" maxmemory="1024M">
+    <javadoc Windowtitle="${title}" access="protected" Header="${header}" Footer="${footer}" destdir="${build.docs}" maxmemory="1024M" failonerror="yes">
       <sourcepath>
         <pathelement path="${base.src}" />
         <pathelement path="${base.src.test}/src" />