https://pantsbuild.org/ logo
e

enough-analyst-54434

10/27/2015, 5:44 PM
This does the trick:
Copy code
$ git diff -U1
diff --git a/pants.ini b/pants.ini
index 3118b74..0d57611 100644
--- a/pants.ini
+++ b/pants.ini
@@ -46,2 +46,6 @@ options: ["-Xmx1g", "-XX:MaxPermSize=256m"]
 
+[jvm.doc.javadoc]
+program_args: ['-Xdoclint:none']
+
+
 [cache.bootstrap]