--- lib-src/build-jtreg	2018/02/15 21:33:27	1.10
+++ lib-src/build-jtreg	2019/05/02 07:33:09	1.13
@@ -120,12 +120,12 @@ main() {
   }
 
   # asmtools is optional, but let's build it for completeness.
-  hg_clone_codetools asmtools 7.0-b02
+  hg_clone_codetools asmtools 7.0-b06
   rm -rf "asmtools-"*"-build"
   (cd "asmtools/build" && ant build)
   def_make_dir ASMTOOLS_HOME "$PWD/asmtools-"*"-build/release"
 
-  def_make_var BUILD_NUMBER "b12"
+  def_make_var BUILD_NUMBER "b14"
   JTREG_REV="jtreg4.2-${BUILD_NUMBER}"
   hg_clone_codetools jtreg "$JTREG_REV"