327 |
|
|
328 |
<delete dir="@{workdir}/JTwork" quiet="true"/> |
<delete dir="@{workdir}/JTwork" quiet="true"/> |
329 |
<delete dir="@{workdir}/JTreport" quiet="true"/> |
<delete dir="@{workdir}/JTreport" quiet="true"/> |
|
<mkdir dir="@{workdir}/JTwork/scratch"/> |
|
|
<!-- workaround for https://bugs.openjdk.java.net/browse/CODETOOLS-7901571 --> |
|
|
<mkdir dir="@{workdir}/JTreport/html"/> |
|
|
<mkdir dir="@{workdir}/JTreport/text"/> |
|
330 |
<jtreg dir="${jtreg@{target}.src.dir}" |
<jtreg dir="${jtreg@{target}.src.dir}" |
331 |
jdk="${jdk@{target}.home}" |
jdk="${jdk@{target}.home}" |
332 |
workDir="@{workdir}/JTwork" |
workDir="@{workdir}/JTwork" |