310 |
<delete dir="@{workdir}/JTwork" quiet="true"/> |
<delete dir="@{workdir}/JTwork" quiet="true"/> |
311 |
<delete dir="@{workdir}/JTreport" quiet="true"/> |
<delete dir="@{workdir}/JTreport" quiet="true"/> |
312 |
<mkdir dir="@{workdir}/JTwork/scratch"/> |
<mkdir dir="@{workdir}/JTwork/scratch"/> |
313 |
<mkdir dir="@{workdir}/JTreport"/> |
<!-- workaround for https://bugs.openjdk.java.net/browse/CODETOOLS-7901571 --> |
314 |
|
<mkdir dir="@{workdir}/JTreport/html"/> |
315 |
|
<mkdir dir="@{workdir}/JTreport/text"/> |
316 |
<jtreg dir="${jtreg@{target}.src.dir}" |
<jtreg dir="${jtreg@{target}.src.dir}" |
317 |
jdk="${jdk@{target}.home}" |
jdk="${jdk@{target}.home}" |
318 |
workDir="@{workdir}/JTwork" |
workDir="@{workdir}/JTwork" |