make/conf/jib-profiles.js
changeset 53711 8041cefba76b
parent 53692 314075ea3fcb
child 53831 c419f0c1c355
--- a/make/conf/jib-profiles.js	Fri Feb 08 13:39:22 2019 -0800
+++ b/make/conf/jib-profiles.js	Fri Feb 08 05:46:11 2019 -0900
@@ -944,11 +944,17 @@
         },
 
         jcov: {
-            server: "jpg",
-            product: "jcov",
-            version: "3.0",
-            build_number: "b07",
-            file: "bundles/jcov-3_0.zip",
+            // Until an official build of JCov is available, use custom
+            // build to support classfile version 57.
+            // See CODETOOLS-7902358 for more info.
+            // server: "jpg",
+            // product: "jcov",
+            // version: "3.0",
+            // build_number: "b07",
+            // file: "bundles/jcov-3_0.zip",
+            organization: common.organization,
+            revision: "3.0-57-support+1.0",
+            ext: "zip",
             environment_name: "JCOV_HOME",
         },