--- lib-src/build-jtreg	2018/02/10 16:08:10	1.9
+++ lib-src/build-jtreg	2018/02/15 21:33:27	1.10
@@ -120,7 +120,7 @@ main() {
   }
 
   # asmtools is optional, but let's build it for completeness.
-  hg_clone_codetools asmtools 7.0
+  hg_clone_codetools asmtools 7.0-b02
   rm -rf "asmtools-"*"-build"
   (cd "asmtools/build" && ant build)
   def_make_dir ASMTOOLS_HOME "$PWD/asmtools-"*"-build/release"