| # | Line 125 | Line 125 | main() { | |
|---|---|---|
| 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" | |
| – | Removed lines |
| + | Added lines |
| < | Changed lines |
| > | Changed lines |