--- lib-src/build-jtreg	2017/12/21 21:05:08	1.8
+++ lib-src/build-jtreg	2018/02/10 16:08:10	1.9
@@ -125,7 +125,7 @@ main() {
   (cd "asmtools/build" && ant build)
   def_make_dir ASMTOOLS_HOME "$PWD/asmtools-"*"-build/release"
 
-  def_make_var BUILD_NUMBER "b11"
+  def_make_var BUILD_NUMBER "b12"
   JTREG_REV="jtreg4.2-${BUILD_NUMBER}"
   hg_clone_codetools jtreg "$JTREG_REV"