--- lib-src/build-jtreg	2019/02/20 16:27:31	1.12
+++ lib-src/build-jtreg	2019/05/02 07:33:09	1.13
@@ -120,7 +120,7 @@ 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"