# HG changeset patch
# User iignatyev
# Date 1550633228 28800
# Node ID 3cd1c6ae28f55f8e70c23b3a7826f0555b2f3788
# Parent  1e569f37cf3620cc283c532a80fdf397beb11e46
8219132: switch to jtreg4.2-b14
Reviewed-by: erikj

diff -r 1e569f37cf36 -r 3cd1c6ae28f5 make/conf/jib-profiles.js
--- 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",