| 120 |
|
} |
| 121 |
|
|
| 122 |
|
# asmtools is optional, but let's build it for completeness. |
| 123 |
< |
hg_clone_codetools asmtools 7.0 |
| 123 |
> |
hg_clone_codetools asmtools 7.0-b02 |
| 124 |
|
rm -rf "asmtools-"*"-build" |
| 125 |
|
(cd "asmtools/build" && ant build) |
| 126 |
|
def_make_dir ASMTOOLS_HOME "$PWD/asmtools-"*"-build/release" |
| 127 |
|
|
| 128 |
< |
def_make_var BUILD_NUMBER "b12" |
| 128 |
> |
def_make_var BUILD_NUMBER "b13" |
| 129 |
|
JTREG_REV="jtreg4.2-${BUILD_NUMBER}" |
| 130 |
+ |
# Emergency release; 4.2-b13 needed for jdk13, but stock 4.2-b13 is |
| 131 |
+ |
# broken and 4.2-b14 is not out yet. |
| 132 |
+ |
JTREG_REV="36c592d2f544" |
| 133 |
|
hg_clone_codetools jtreg "$JTREG_REV" |
| 134 |
|
|
| 135 |
|
def_make_dir JDK17HOME "$HOME/jdk/jdk7" |
