make/conf/jib-profiles.js
changeset 48833 614c7e117327
parent 48357 63fb11c1550d
child 48835 62004f705d27
child 48868 f0981646b6c6
--- a/make/conf/jib-profiles.js	Thu Feb 01 10:55:27 2018 -0800
+++ b/make/conf/jib-profiles.js	Thu Feb 01 11:24:39 2018 -0800
@@ -829,7 +829,7 @@
         jtreg: {
             server: "javare",
             revision: "4.2",
-            build_number: "b11",
+            build_number: "b12",
             checksum_file: "MD5_VALUES",
             file: "jtreg_bin-4.2.zip",
             environment_name: "JT_HOME",