| 271 |
|
<patternset refid="jdk@{target}.jtreg.tests"/> |
| 272 |
|
<arg value="-javacoptions:--patch-module=java.base=@{classes}"/> |
| 273 |
|
<arg value="-vmoptions:--patch-module=java.base=@{classes}"/> |
| 274 |
+ |
<arg value="-vmoptions:${vmoptions}" if:set="vmoptions"/> |
| 275 |
|
<arg value="-agentvm"/> |
| 276 |
|
<arg value="-noreport"/> |
| 277 |
|
<arg value="-verbose:@{verbose}"/> |
| 373 |
|
<target name="docs" |
| 374 |
|
description="Builds javadocs for src/main to dist dir"> |
| 375 |
|
|
| 376 |
< |
<delete dir="${docs.dir}"/> |
| 376 |
> |
<delete dir="${docs.dir}" quiet="true"/> |
| 377 |
|
<mkdir dir="${docs.dir}"/> |
| 378 |
|
|
| 379 |
|
<!-- old school frames via docs/index.html?overview-summary.html --> |
| 406 |
|
</fileset> |
| 407 |
|
<arg line="-Xdocrootparent ${java.docroot.url}"/> |
| 408 |
|
<arg line="-Xmaxerrs 1000 -Xmaxwarns 1000"/> |
| 409 |
+ |
<arg value="-quiet"/> |
| 410 |
|
<arg value="-XDignore.symbol.file=true"/> |
| 411 |
|
<arg value="-html5"/> |
| 412 |
|
<arg value="--patch-module=java.base=${src.dir}"/> |
