make/conf/jib-profiles.js
changeset 47723 e6278add9ff2
parent 47721 d2b306a70bf1
child 47825 13e39ca700d0
--- a/make/conf/jib-profiles.js	Wed Nov 08 13:38:00 2017 -0800
+++ b/make/conf/jib-profiles.js	Tue Nov 07 23:18:16 2017 +0100
@@ -824,7 +824,7 @@
         jtreg: {
             server: "javare",
             revision: "4.2",
-            build_number: "b09",
+            build_number: "b10",
             checksum_file: "MD5_VALUES",
             file: "jtreg_bin-4.2.zip",
             environment_name: "JT_HOME",