8219132: switch to jtreg4.2-b14
authoriignatyev
Tue, 19 Feb 2019 19:27:08 -0800
changeset 53836 3cd1c6ae28f5
parent 53835 1e569f37cf36
child 53837 b3f6ffbedd68
8219132: switch to jtreg4.2-b14 Reviewed-by: erikj
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",