--- jsr166/build.xml	2019/10/06 18:23:18	1.306
+++ jsr166/build.xml	2019/10/17 17:28:49	1.308
@@ -271,6 +271,7 @@
       <patternset refid="jdk@{target}.jtreg.tests"/>
       <arg value="-javacoptions:--patch-module=java.base=@{classes}"/>
       <arg value="-vmoptions:--patch-module=java.base=@{classes}"/>
+      <arg value="-vmoptions:${vmoptions}" if:set="vmoptions"/>
       <arg value="-agentvm"/>
       <arg value="-noreport"/>
       <arg value="-verbose:@{verbose}"/>
@@ -372,7 +373,7 @@
   <target name="docs"
           description="Builds javadocs for src/main to dist dir">
 
-    <delete dir="${docs.dir}"/>
+    <delete dir="${docs.dir}" quiet="true"/>
     <mkdir dir="${docs.dir}"/>
 
     <!-- old school frames via docs/index.html?overview-summary.html -->
@@ -405,6 +406,7 @@
       </fileset>
       <arg line="-Xdocrootparent ${java.docroot.url}"/>
       <arg line="-Xmaxerrs 1000 -Xmaxwarns 1000"/>
+      <arg value="-quiet"/>
       <arg value="-XDignore.symbol.file=true"/>
       <arg value="-html5"/>
       <arg value="--patch-module=java.base=${src.dir}"/>