make/conf/jib-profiles.js
changeset 53836 3cd1c6ae28f5
parent 53831 c419f0c1c355
child 53857 7a034b1de98b
--- a/make/conf/jib-profiles.js	Tue Feb 19 14:25:52 2019 -0800
+++ b/make/conf/jib-profiles.js	Tue Feb 19 19:27:08 2019 -0800
@@ -960,7 +960,7 @@
         jtreg: {
             server: "javare",
             revision: "4.2",
-            build_number: "b13",
+            build_number: "b14",
             checksum_file: "MD5_VALUES",
             file: "jtreg_bin-4.2.zip",
             environment_name: "JT_HOME",